Rémi Verschelde 53d73f59eb doc: Drop unused <demos> tag ... (cherry picked from commit 6af69f851a)		2019-04-19 13:10:25 +02:00
..
classes	doc: Drop unused <demos> tag	2019-04-19 13:10:25 +02:00
tools	doc: Drop unused <demos> tag	2019-04-19 13:10:25 +02:00
Doxyfile	Remove trailing whitespace	2018-11-20 11:15:02 +01:00
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00