commit | cc27a43c402b412509f4bd63ecf4c263ea65ec81 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Oct 18 09:09:46 2021 +0000 |
committer | nicm <nicm> | Mon Oct 18 09:09:46 2021 +0000 |
tree | bbbe1d382925ac92b74da4f9a2168688f0479d20 | |
parent | 537302f2c17849058cf6080f5735efe86d21a239 [diff] |
Remove duplicate options, spotted by Ricky Cintron.