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
..
css	Automatically format YAML, CSS, and JS files (#1272)	2023-10-02 14:48:00 +09:00
book.js	Add book.js generated with mdbook init --theme	2023-03-01 13:14:42 +01:00
head.hbs	Move JavaScript code to head template (#1210)	2023-09-15 09:52:22 +00:00
index.hbs	Update mdbook to version 0.4.35 (#1302)	2023-10-13 16:40:40 +02:00
speaker-notes.js	Automatically format YAML, CSS, and JS files (#1272)	2023-10-02 14:48:00 +09:00