Hugo Locurcio c7f6504105 makerst: Disallow user-contributed notes on the class index page ...

User-contributed notes are still allowed on individual class pages.

2023-11-17 10:51:29 +01:00

..

doc_status.py

Fix doc_status.py trying to get removed version tag from XML

2023-07-13 16:25:54 +02:00

make_rst.py

makerst: Disallow user-contributed notes on the class index page

2023-11-17 10:51:29 +01:00