Rémi Verschelde 27dab233d9 Merge pull request #32555 from homer666/projectsettings-docs-mistake ... Fix silly mistake in ProjectSettings docs		2019-10-05 15:04:31 +02:00
..
classes	Merge pull request #32555 from homer666/projectsettings-docs-mistake	2019-10-05 15:04:31 +02:00
tools	Print errors when tab indent found in [codeblock]	2019-10-01 23:39:45 +09:00
Doxyfile
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00