Hugo Locurcio 9e01a0cd28 Add a getter and property for the editor distraction-free mode ... (cherry picked from commit cc1859efed)		2020-06-04 12:16:39 +02:00
..
classes	Add a getter and property for the editor distraction-free mode	2020-06-04 12:16:39 +02:00
tools	makerst: Print status messages to make the CI output clearer	2020-06-04 12:09:39 +02:00
Doxyfile	Remove trailing whitespace	2018-11-20 11:15:02 +01:00
Makefile	Clean up & improve makerst.py	2018-12-27 13:57:08 +01:00