Closed Whiteknight closed 3 years ago
We should have a syntax to rename a flag in a script
This is implemented in v2 branch
We should have a syntax to rename a flag in a script