11-27-2017, 12:43 PM (This post was last modified: 11-27-2017, 12:43 PM by undeath.)
(11-25-2017, 10:38 PM)royce Wrote: Yeah, the naming cat is probably already out of the bag.
The old options could stay but be left undocumented in --help and a differently named switch with the same effect be introduced. It would make things less confusing for new users.