diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore')
| -rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore index 70eab455..1e7d444f 100644 --- a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore +++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore | |||
| @@ -50,12 +50,3 @@ | |||
| 50 | /Opposite.java | 50 | /Opposite.java |
| 51 | /OppositeDifferentClass.java | 51 | /OppositeDifferentClass.java |
| 52 | /PatternContent.java | 52 | /PatternContent.java |
| 53 | /.Dir.java._trace | ||
| 54 | /.RootIsNotDir.java._trace | ||
| 55 | /Dir.java | ||
| 56 | /RootIsNotDir.java | ||
| 57 | /.Unsat_loopInInheritance.java._trace | ||
| 58 | /.Subpackage.java._trace | ||
| 59 | /.Unsat_subpackage.java._trace | ||
| 60 | /.Unsat_subpackageOrSelf.java._trace | ||
| 61 | /.Unsat_topLevelPackageWithLoop.java._trace | ||