Hugo Locurcio ab397460e9 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.		2021-02-13 01:37:16 +01:00
..
classes	Expose a `File.flush()` method to scripting	2021-02-13 01:37:16 +01:00
tools	doc: Fixups to #43419 which added operators in the docs	2020-11-10 15:00:07 +01:00
translations	Update copyright statements to 2021	2021-01-01 20:19:21 +01:00
Doxyfile	…
Makefile	…