.gitignore « ide « dslreasoner « ecse « mcgill « ca « xtend-gen « ca.mcgill.ecse.dslreasoner.vampire.language.ide « Vampire-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.gitignore

blob: 74d3a17c894b8350f5eb535fa90a32b840480062 (plain) (blame)

1 2	`/.VampireLanguageIdeModule.java._trace /.VampireLanguageIdeSetup.java._trace`