diff options
author | Mark Walters <markwalters1009@gmail.com> | 2012-07-24 19:23:30 +0100 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2012-07-24 15:49:33 -0300 |
commit | ed93d7919914d5eb11263cbc4ef864ad0bd54bff (patch) | |
tree | d9ca9a96dbdb179a9e8911c9905ccffd6dc2f604 /devel | |
parent | 52e50f78238fe1b2ed46fabcb203b37048a3ae44 (diff) |
schemata: update for --body=true|false option
Previously body: was a compulsory field in a message. The new
--body=false option causes notmuch show to omit this field so update
schemata to reflect this.
Diffstat (limited to 'devel')
-rw-r--r-- | devel/schemata | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/schemata b/devel/schemata index 6677a1c9..9cb25f59 100644 --- a/devel/schemata +++ b/devel/schemata @@ -47,7 +47,7 @@ message = { tags: [string*], headers: headers, - body: [part] + body?: [part] # omitted if --body=false } # A MIME part (format_part_json) |