Grégoire Paris 082abf65d1 Document how to disable difftastic temporarily ... It can be useful if you want to obtain a diff in the standard format and copy paste it to github, for instance.		2024-05-07 08:48:20 +07:00
..
src	Document how to disable difftastic temporarily	2024-05-07 08:48:20 +07:00
theme	Add favicon for manual	2024-04-07 15:54:29 +07:00
.gitignore	Use 'manual' terminology consistently	2021-09-08 23:15:32 +07:00
book.toml	Simplify description of manual	2024-02-08 08:47:33 +07:00
replace_version_placeholder.sh	Include cargo version in the generated manual	2022-04-21 00:31:06 +07:00