Chris Jones d1668d4654 Attempt to emit a useful CI error when an unknown module is referenced in docstrings		2022-01-14 21:44:04 +00:00
..
build_docs.py	Attempt to emit a useful CI error when an unknown module is referenced in docstrings	2022-01-14 21:44:04 +00:00
download	Move docs/ out of the toplevel, because it doesn't actually contain any docs	2014-10-18 19:41:11 +01:00