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

…