From 022a1e52e0cf20f64d9cd6685c65d945c04eaecc Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sat, 13 Jun 2020 19:24:25 -0400 Subject: remove Alloy solver copy --- .../hu.bme.mit.inf.dslreasoner.alloy.language/build.properties | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/build.properties (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/build.properties') diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/build.properties b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/build.properties deleted file mode 100644 index 9b82d81d..00000000 --- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/build.properties +++ /dev/null @@ -1,7 +0,0 @@ -source.. = src/,\ - src-gen/,\ - xtend-gen/ -bin.includes = model/,\ - META-INF/,\ - .,\ - plugin.xml \ No newline at end of file -- cgit v1.2.3-70-g09d2