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

/.VampireLanguageRuntimeModule.java._trace
/.VampireLanguageStandaloneSetup.java._trace
/.VampireLanguageRuntimeModule.xtendbin
/.VampireLanguageStandaloneSetup.xtendbin
/VampireLanguageRuntimeModule.java
/VampireLanguageStandaloneSetup.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 12:48:33 +0000