Hugo Locurcio 62953c4fae 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-20 16:21:42 +02:00
..
classes	Document that ConfigFiles can use any file extension	2021-09-20 16:21:42 +02:00
tools	makerst: use link titles for external tutorials	2021-08-03 10:32:32 +02:00
Doxyfile
Makefile	[HTML5] Add jsdoc2rst tool.	2021-02-26 15:35:45 +01:00