diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore deleted file mode 100644 index 5f2a65d9..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore +++ /dev/null | |||
@@ -1,10 +0,0 @@ | |||
1 | /.GenerateScenarios.java._trace | ||
2 | /.checkQueries.java._trace | ||
3 | /.RunGenerator.xtendbin | ||
4 | /GenerateScenarios.java | ||
5 | /.GenerateScenarios.xtendbin | ||
6 | /.GeneratePledgeModels.java._trace | ||
7 | /.GeneratePledgeModels.xtendbin | ||
8 | /GeneratePledgeModels.java | ||
9 | /.UML2TGF.java._trace | ||
10 | /.GenerateFromConfig.java._trace | ||