Hugo Locurcio 575aa3efe3 Document that the JavaScript singleton may be disabled at build-time ... (cherry picked from commit 0422027f07)		2020-09-24 14:43:11 +02:00
..
classes	Document that the JavaScript singleton may be disabled at build-time	2020-09-24 14:43:11 +02:00
tools	makerst: Add missing newline at EOF	2020-09-15 19:26:44 +02:00
Doxyfile	…
Makefile	…