Rémi Verschelde 68eae6b6e9 Fix some URLs to use HTTPS when available		2020-01-29 02:48:10 +01:00
..
classes	Fix some URLs to use HTTPS when available	2020-01-29 02:48:10 +01:00
tools	doc: Drop unused 'category' property from header	2020-01-26 16:02:39 +01:00
Doxyfile
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00