Hugo Locurcio 6c6f4e9895 Expose a `File.flush()` method to scripting ... This can be used to ensure a file has its contents saved even if the project crashes or is killed by the user (among other use cases). See discussion in #29075. (cherry picked from commit ab397460e9)		2021-02-16 14:27:38 +01:00
..
classes	Expose a `File.flush()` method to scripting	2021-02-16 14:27:38 +01:00
tools	makerst: Add missing newline at EOF	2020-09-15 19:26:44 +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