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.

Gokul Soumya 85492e587c Deploy docs for master separately (#1783) ... * Deploy docs for master separately * Output docs for every tagged release * Update .github/workflows/gh-pages.yml Co-authored-by: Blaž Hrastnik <blaz@mxxn.io>		2 years ago
..
src	Deploy docs for master separately (#1783)	2 years ago
theme	Update mdbook style and fix unreadable table head (#806)	3 years ago
.gitignore	Add book/ (mdbook based user guide)	3 years ago
book.toml	Improve docs, fix up a few highlight scopes	3 years ago