Andy Maloney 5036dfb0b6 Add Python PEP 484/526 type hints to doc/tools/doc_status.py ...

Also removes the first divider string which cleans up the extraneous dashes at the top of the page.

2022-07-29 13:27:48 -04:00

..

doc_status.py

Add Python PEP 484/526 type hints to doc/tools/doc_status.py

2022-07-29 13:27:48 -04:00

make_rst.py

Patch the make_rst.py utility to handle specially operators with '<'

2022-07-28 12:37:30 +02:00