Wilfred Hughes d92b65c5fd Merge remote-tracking branch 'thecentury/f#'		2024-05-14 09:46:55 +07:00
..
src	Merge remote-tracking branch 'thecentury/f#'	2024-05-14 09:46:55 +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