Aaron Franke 69e90daae3 Rename "makerst.py" to "make_rst.py" ... (cherry picked from commits 8f05e26198 and cce7797a75)		2021-10-26 13:34:36 +02:00
..
doc_merge.py	…
doc_status.py	…
make_rst.py	Rename "makerst.py" to "make_rst.py"	2021-10-26 13:34:36 +02:00