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

/.VampireLanguageDescriptionLabelProvider.java._trace
/.VampireLanguageLabelProvider.java._trace
/.VampireLanguageDescriptionLabelProvider.xtendbin
/.VampireLanguageLabelProvider.xtendbin
/VampireLanguageDescriptionLabelProvider.java
/VampireLanguageLabelProvider.java
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 11:18:12 +0000