Fabio Alessandrelli 49741d9464 Add important note about OS.get_unixtime. ...

Should NEVER be used for precise time computations since its return
values are not guaranteed to be monotonic.

2020-12-13 13:56:45 +01:00

..

classes

Add important note about OS.get_unixtime.

2020-12-13 13:56:45 +01:00

tools

doc: Fixups to #43419 which added operators in the docs

2020-11-10 15:00:07 +01:00

translations

Updated getters and setters names for toplevel

2020-10-02 19:09:01 -04:00

Doxyfile

…

Makefile

…