Docs: missing options
authorJeremy Harris <jgh146exb@wizmail.org>
Fri, 4 Jan 2019 11:29:19 +0000 (11:29 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Fri, 4 Jan 2019 11:29:19 +0000 (11:29 +0000)
commitae75164b86600394f3e271a3d54bb88d946eb924
tree08a9dda23c70298a55363b685eec463dc889669a
parent2b76c9a8551a466c20fa616ba0f78be5c985297a
Docs: missing options

Broken-by: b3ef41c94a
doc/doc-txt/OptionLists.txt