diff options
author | David Bremner <david@tethera.net> | 2017-03-31 07:55:17 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2017-04-01 09:10:15 -0300 |
commit | d47e18411807b57cac9aaa29a7435a9f83720b81 (patch) | |
tree | df1a1a3582514fa9c6615133fb3f4173bf1292d9 /doc/man1 | |
parent | 1f3c7916f82774cacbfbb0fbc9d0e0aaae9399b3 (diff) |
cli/dump: bump dump format version to 3
No changes to the format of the body, but the header format was
fixed, and version 2 headers probably shouldn't be relied on.
Diffstat (limited to 'doc/man1')
-rw-r--r-- | doc/man1/notmuch-dump.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man1/notmuch-dump.rst b/doc/man1/notmuch-dump.rst index ca048aeb..f3f2b394 100644 --- a/doc/man1/notmuch-dump.rst +++ b/doc/man1/notmuch-dump.rst @@ -95,7 +95,7 @@ Supported options for **dump** include The default is to include all available types of data. The option can be specified multiple times to select some subset. As - of version 2 of the dump format, there is a header line of the + of version 3 of the dump format, there is a header line of the following form | |