aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/xtend-gen/ca/mcgill/ecse/dslreasoner/ide/.gitignore
blob: 074a596944693d2550b62a2695e7e6f6677b039c (plain) (blame) 
1
2
3
4
5
6

/.VampireLanguageIdeModule.java._trace
/.VampireLanguageIdeSetup.java._trace
/.VampireLanguageIdeModule.xtendbin
/.VampireLanguageIdeSetup.xtendbin
/VampireLanguageIdeModule.java
/VampireLanguageIdeSetup.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 15:08:10 +0000