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 | ||