Remove Makefile.config from the repository.

[notmuch] / Makefile.config

diff --git a/Makefile.config b/Makefile.config
deleted file mode 100644 (file)
index ddc7436..0000000
--- a/Makefile.config
+++ /dev/null
@@ -1,3 +0,0 @@
-prefix = /usr/local
-bash_completion_dir = /etc/bash_completion.d
-CFLAGS += -DHAVE_VALGRIND