pre-commit-ci[bot] 08c14a03d7 [pre-commit.ci] auto fixes from pre-commit.com hooks ...

for more information, see https://pre-commit.ci

2023-01-18 14:15:09 +00:00

..

source

[pre-commit.ci] auto fixes from pre-commit.com hooks

2023-01-18 14:15:09 +00:00

generate-metrics.py

switch generate-metrics to markdown

2022-12-07 09:02:09 +01:00

make.bat

docs: refresh Makefile/make.bat

2022-12-07 21:24:59 +01:00

Makefile

docs: refresh Makefile/make.bat

2022-12-07 21:24:59 +01:00

requirements.txt

docs: add rediraffe sphinx extension

2022-11-22 17:47:37 +01:00

test_docs.py

Fix git CLI flag ordering

2022-01-10 10:33:23 +01:00