Arthur Deierlein e708a62eef make ruff happy

2024-12-17 22:55:38 +01:00

..

source

make ruff happy

2024-12-17 22:55:38 +01:00

make.bat

Update the documentation generation and sphinx used.

2019-08-18 18:28:34 +01:00

Makefile

Documentation: Minor rename fixes.

2021-01-20 21:46:20 +00:00