Explicitly purge the removed option
authorAlexander Ebert <ebert@woltlab.com>
Fri, 8 Dec 2017 11:18:57 +0000 (12:18 +0100)
committerAlexander Ebert <ebert@woltlab.com>
Fri, 8 Dec 2017 11:18:57 +0000 (12:18 +0100)
commit396e7cbcb19e3de32cc44a1f8de0ad38b9632b4a
tree4c6f38fd48513e83f9b17a91a4bb3e26dddde004
parent8af544910532c7e1cdd30d477e57aa6a27da68ba
Explicitly purge the removed option

See #116
option.xml