Justin Su e389cfe9f6 [docs] Remove unnecessary double quotes in Git alias ... This makes the config option identical to running `git config --global alias.dlog '-c diff.external=difft log -p --ext-diff'`.		2024-09-02 16:06:27 +07:00
..
src	[docs] Remove unnecessary double quotes in Git alias	2024-09-02 16:06:27 +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