version: update to 0.15 0.15 debian/0.15-1
[notmuch] / man /
drwxr-xr-x   ..
-rw-r--r-- 38 .gitignore
-rw-r--r-- 53 Makefile
-rw-r--r-- 1550 Makefile.local
drwxr-xr-x - man1
drwxr-xr-x - man5
drwxr-xr-x - man7