Michael Davis 7044d7d804 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.		2022-03-10 17:31:57 +09:00
..
src	rename '--fetch/build-grammars' flags into '--grammar fetch/build'	2022-03-10 17:31:57 +09:00
theme	Update mdbook style and fix unreadable table head (#806)	2021-10-09 20:35:27 +09:00
.gitignore	Add book/ (mdbook based user guide)	2021-04-05 15:48:08 +09:00
book.toml	Improve docs, fix up a few highlight scopes	2021-09-07 13:03:48 +09:00