commits
[satlib.git] / glucose-syrup / incremental / Makefile~
diff --git a/glucose-syrup/incremental/Makefile~ b/glucose-syrup/incremental/Makefile~
deleted file mode 100644 (file)
index f5d4481..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-EXEC = glucose
-DEPDIR    = mtl utils core
-MROOT = $(PWD)/..
-
-include $(MROOT)/mtl/template.mk