From e11bce7ad3e803e80883499fec0ad6e4540ffe43 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 30 Jun 2020 18:03:48 +0200 Subject: Add modified VIATRA-DSE version --- Solvers/VIATRA-Solver/org.eclipse.viatra.dse/build.properties | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 Solvers/VIATRA-Solver/org.eclipse.viatra.dse/build.properties (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse/build.properties') diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/build.properties b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/build.properties new file mode 100644 index 00000000..08373bf1 --- /dev/null +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/build.properties @@ -0,0 +1,4 @@ +source.. = src/ +bin.includes = META-INF/,\ + .,\ + about.html -- cgit v1.2.3-54-g00ecf