diff options
Diffstat (limited to 'src/prop/minisat/mtl/config.mk')
| -rw-r--r-- | src/prop/minisat/mtl/config.mk | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/prop/minisat/mtl/config.mk b/src/prop/minisat/mtl/config.mk deleted file mode 100644 index b5c36fc6b..000000000 --- a/src/prop/minisat/mtl/config.mk +++ /dev/null @@ -1,6 +0,0 @@ -## -## This file is for system specific configurations. For instance, on -## some systems the path to zlib needs to be added. Example: -## -## CFLAGS += -I/usr/local/include -## LFLAGS += -L/usr/local/lib |