dejafu/docs
Michael Walker 83e391847f
Redirect old readthedocs site
I've also added redirects for old links - those are configured in the
admin panel, rather than in code.
2023-10-19 20:31:09 +01:00
..
readthedocs Redirect old readthedocs site 2023-10-19 20:31:09 +01:00
src Add new mdbook / GitHub Pages based website 2023-10-19 20:31:09 +01:00
.gitignore Add new mdbook / GitHub Pages based website 2023-10-19 20:31:09 +01:00
book.toml Add new mdbook / GitHub Pages based website 2023-10-19 20:31:09 +01:00