aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/build.properties
blob: 88d3713e4516800113640e29e1b2dfd34f97b2e1 (plain) (blame)
1
2
3
4
5
6
bin.includes = META-INF/,\
               .,\
               plugin.xml
source.. = src/,\
           src-gen/
output.. = bin/