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