Rémi Verschelde 54ac8eaba6 Remove more deprecated methods and code		2020-02-13 12:37:45 +01:00
..
classes	Remove more deprecated methods and code	2020-02-13 12:37:45 +01:00
tools	Improve the doc_status.py console output	2020-02-01 00:24:39 +01:00
Doxyfile
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00