Peter acde2b4387 Add and fix redirects (#364) ... * Pinpoint versions again due to mkdocs--material problems * Add redirects * Fix script path		2022-02-13 14:39:47 +01:00
..
fix_redirects.sh	Add and fix redirects (#364)	2022-02-13 14:39:47 +01:00
gh-pages.yml	Add and fix redirects (#364)	2022-02-13 14:39:47 +01:00
renovate_check-build.yml	Add and fix redirects (#364)	2022-02-13 14:39:47 +01:00