Hugo Locurcio 348152b3c9 Document that ConfigFiles can use any file extension ... The file extension given to a ConfigFile has no impact on its formatting or behavior. (cherry picked from commit 9c6ae95cb2)		2021-09-21 17:14:58 +02:00
..
classes	Document that ConfigFiles can use any file extension	2021-09-21 17:14:58 +02:00
tools	Add theme item descriptions to the online documentation	2021-08-06 18:20:51 +03:00
Doxyfile
Makefile