Wilfred Hughes a2f22cb17c Only set the exit code if --exit-code is set ... This is important for usage with git log, which terminates on non-zero exit codes.		2022-12-18 23:11:18 +07:00
..
src	Only set the exit code if --exit-code is set	2022-12-18 23:11:18 +07:00
.gitignore	Use 'manual' terminology consistently	2021-09-08 23:15:32 +07:00
book.toml	Remove unused manual configuration item	2022-09-23 23:08:54 +07:00
replace_version_placeholder.sh	Include cargo version in the generated manual	2022-04-21 00:31:06 +07:00