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.

Blaž Hrastnik c2e41082e4 Remove the .txt suffix from tutor ... The tutor file is loaded as .txt which can potentially spawn a language server. Then the path is unset, but the LS remains active. This can cause panics since updates are now submitted for a doc with no path. As a quick workaround we remove the extension which should avoid detection. Fixes #3730		2 years ago
..
src	Remove the .txt suffix from tutor	2 years ago
theme	fix typos (#2304)	2 years ago
.gitignore	Add book/ (mdbook based user guide)	4 years ago
book.toml	Improve docs, fix up a few highlight scopes	3 years ago