diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-08-13 17:21:24 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-08-13 17:21:24 +0000 |
| commit | 33de059bee5f6814615a88a7c13d819820430f25 (patch) | |
| tree | c0b2cdd0ff249c3811befcd12d011dc89a5099b9 /src/prop/minisat/simp/Makefile | |
| parent | ca627b6170a0528b95b94c8de7255eb243d99264 (diff) | |
Removing newer version of MiniSat for Dejan's preferred import
Diffstat (limited to 'src/prop/minisat/simp/Makefile')
| -rw-r--r-- | src/prop/minisat/simp/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/prop/minisat/simp/Makefile b/src/prop/minisat/simp/Makefile deleted file mode 100644 index 27b45f493..000000000 --- a/src/prop/minisat/simp/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -EXEC = minisat -DEPDIR = mtl utils core - -include $(MROOT)/mtl/template.mk |