]> git.notmuchmail.org Git - notmuch/commitdiff
lib: add interface to delete directory documents
authorJani Nikula <jani@nikula.org>
Fri, 25 Sep 2015 20:48:45 +0000 (23:48 +0300)
committerDavid Bremner <david@tethera.net>
Sat, 10 Oct 2015 12:14:25 +0000 (09:14 -0300)
As mentioned in acd66cdec075312944e527febd46382e54d99367 we don't have
an interface to delete directory documents, and they're left behind. Add
the interface.


No differences found