Martin Geisler 5fafa4842c Update mdbook to version 0.4.35 (#1302) ... This also ports over the latest changes to `book.js` and `index.hbs`. We probably need to come up with a more systematic way of doing this, e.g., we could store our changes in a patch and automatically attempt to apply it onto the latest upstream files.		2023-10-13 16:40:40 +02:00
..
workflows	Update mdbook to version 0.4.35 (#1302)	2023-10-13 16:40:40 +02:00
CODEOWNERS	Update CODEOWNERS (#1309)	2023-10-06 09:56:26 +02:00
labeler.yml	Automatically format YAML, CSS, and JS files (#1272)	2023-10-02 14:48:00 +09:00
typos.toml	Add typos to CI (#1158)	2023-09-05 20:21:59 +00:00