aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/META-INF/services/org.eclipse.xtext.ISetup
blob: ada679018b630ed0e8dd78fa58ba7b9ad3ea4760 (plain) (blame)
1
ca.mcgill.ecse.dslreasoner.ide.VampireLanguageIdeSetup