Makefile: Change default install prefix from /usr to /usr/local, really
[notmuch] / Makefile.config
2009-11-17 Ingmar VanhasselMakefile: Change default install prefix from /usr to...
2009-11-17 Carl WorthMakefile: Change default install prefix from /usr to...