From 6eb760ee960cd3efe51ca6e4107153c09838a1da Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 1 Aug 2019 18:38:15 +0200 Subject: Clean up CPS and Satellite domains --- .../hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore') diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore deleted file mode 100644 index 2338336b..00000000 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/xtend-gen/hu/bme/mit/inf/dslreasoner/domains/cps/dse/.gitignore +++ /dev/null @@ -1,9 +0,0 @@ -/.RuleBasedCpsSolver.java._trace -/.RuleBasedCpsMain.java._trace -/.CpsStateCoder.java._trace -/.CpsStateCoder.xtendbin -/.RuleBasedCpsMain.xtendbin -/.RuleBasedCpsSolver.xtendbin -/CpsStateCoder.java -/RuleBasedCpsMain.java -/RuleBasedCpsSolver.java -- cgit v1.2.3-70-g09d2