diff options
author | Michael Davis | 2022-03-08 06:13:15 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2022-03-10 08:31:57 +0000 |
commit | 7044d7d804ad798207594e1b3bb5bd80a96d3da0 (patch) | |
tree | 2456d38b7e586641005da7f867e85d7df62cca15 /screenshot.png | |
parent | 37520f46ae891f77f81f4049cbb7dc2dbe2d5fc3 (diff) |
rename '--fetch/build-grammars' flags into '--grammar fetch/build'
The old flags were a bit long. --grammar is also aliased to -g to make
it even easier.
Diffstat (limited to 'screenshot.png')
0 files changed, 0 insertions, 0 deletions