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 /book/.gitignore | |
| 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 'book/.gitignore')
0 files changed, 0 insertions, 0 deletions