Hugo Locurcio f0b860fbad makerst: Improve error reporting ... - List file names before error descriptions, as is common in linters. - Print the number of errors reported at the end of the list. - Use double quotes instead of single quotes in messages.		2022-04-11 02:34:37 +02:00
..
doc_status.py	Update doc_status script to support constructors and operators docs	2022-01-07 23:50:10 +01:00
make_rst.py	makerst: Improve error reporting	2022-04-11 02:34:37 +02:00