]> git.notmuchmail.org Git - notmuch/commit
man: update notmuch-dump man page for new default.
authorDavid Bremner <david@tethera.net>
Thu, 23 Jan 2014 13:02:47 +0000 (09:02 -0400)
committerDavid Bremner <david@tethera.net>
Fri, 24 Jan 2014 12:52:22 +0000 (08:52 -0400)
commit5dd59d2a5e41320eb494cfdf39c3370c4a2beda4
tree4e25f1a861ae5f70b88bb6e31b78aea6f2321851
parentf4167e6de86d071cd94721c2acc1397bf291a13c
man: update notmuch-dump man page for new default.

Actually the previous default was not documented explicitely.  I moved
the batch-tag section first because it seemed that the formats were
previously documented in order default, other.
man/man1/notmuch-dump.1