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 | 2 |
1 files changed, 2 insertions, 0 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 index 01940246..f3c882e4 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore | |||
@@ -4,3 +4,5 @@ | |||
4 | /GenerateScenarios.java | 4 | /GenerateScenarios.java |
5 | /.GenerateScenarios.xtendbin | 5 | /.GenerateScenarios.xtendbin |
6 | /.GeneratePledgeModels.java._trace | 6 | /.GeneratePledgeModels.java._trace |
7 | /.GeneratePledgeModels.xtendbin | ||
8 | /GeneratePledgeModels.java | ||