Docs: remove extraneous options from variables index
authorJeremy Harris <jgh146exb@wizmail.org>
Fri, 5 Jan 2018 13:48:08 +0000 (13:48 +0000)
committerJeremy Harris <jgh146exb@wizmail.org>
Fri, 5 Jan 2018 13:50:38 +0000 (13:50 +0000)

No differences found