]> granicus.if.org Git - neomutt/commitdiff
merge: drop obsolete options / docs
authorRichard Russon <rich@flatcap.org>
Sat, 10 Jun 2017 14:42:14 +0000 (15:42 +0100)
committerRichard Russon <rich@flatcap.org>
Sat, 10 Jun 2017 14:42:38 +0000 (15:42 +0100)

Trivial merge