18N: fix docs for option name. Bug 2246
authorGedalya <gedalya@gedalya.net>
Sat, 4 Aug 2018 13:27:46 +0000 (14:27 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Sat, 4 Aug 2018 13:32:26 +0000 (14:32 +0100)
commit6a012214711def1133383366a0ddf7337eb0efa0
tree1f14368def421d99ea1cb788b7627ef959e3f2a1
parentf9d4bb1a2ae19edfcde680bebfeb8712e6f2a42a
18N: fix docs for option name.  Bug 2246

Incorrect at introduction in 71c158466d.
doc/doc-txt/OptionLists.txt