Michael Davis 8c2692caf1 Use the logo as the favicon for the docs book (#4971)		2022-12-02 22:45:06 +09:00
..
src	Show (git) diff signs in gutter (#3890)	2022-12-01 17:35:23 +09:00
theme	Use the logo as the favicon for the docs book (#4971)	2022-12-02 22:45:06 +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