aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/build.properties
blob: 41eb6ade2b4f20b43023591aff3c2d34c4d95883 (plain) (blame)
1
2
3
4
source.. = src/
output.. = bin/
bin.includes = META-INF/,\
               .