bump version to 0.13~rc1 0.13_rc1 debian/0.13_rc1-1
[notmuch] / man /
drwxr-xr-x   ..
-rw-r--r-- 38 .gitignore
-rw-r--r-- 53 Makefile
-rw-r--r-- 1902 Makefile.local
drwxr-xr-x - man1
drwxr-xr-x - man5
drwxr-xr-x - man7