aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/xtend-gen/ca/mcgill/ecse/dslreasoner/ui/labeling/.gitignore
blob: 11f0054315c43b4af16516b5647f043f43eaec89 (plain) (blame)
1
2
/.VampireLanguageDescriptionLabelProvider.java._trace
/.VampireLanguageLabelProvider.java._trace