1 files changed, 6 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/build.properties b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/build.properties
new file mode 100644
index 00000000..88d3713e
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/build.properties
@@ -0,0 +1,6 @@
+bin.includes = META-INF/,\

+               .,\

+               plugin.xml

+source.. = src/,\

+           src-gen/

+output.. = bin/