David Hewitt 13db7348a6 netlify: fix mdbook update		2022-11-30 08:31:00 +00:00
..
_redirects	release: 0.17.3	2022-11-01 20:47:46 +00:00
build.sh	netlify: fix mdbook update	2022-11-30 08:31:00 +00:00
create_redirects.py	netlify: add badge, use github-pages domain rather than pyo3.rs	2022-08-21 18:13:27 +01:00