Hugo Locurcio e88cfedf0e Document the EditorFeatureProfile class ... (cherry picked from commit 7ab279403d)		2020-04-06 20:58:21 +02:00
..
classes	Document the EditorFeatureProfile class	2020-04-06 20:58:21 +02:00
tools	Fixed errors in makerst pre-commit hook	2020-04-06 18:16:11 +02:00
Doxyfile	…
Makefile	…