You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Michael Davis 8c2692caf1 Use the logo as the favicon for the docs book (#4971)		1 year ago
..
src	Show (git) diff signs in gutter (#3890)	1 year ago
theme	Use the logo as the favicon for the docs book (#4971)	1 year ago
.gitignore	Add book/ (mdbook based user guide)	3 years ago
book.toml	Improve docs, fix up a few highlight scopes	3 years ago