Fabio Alessandrelli 53988c7de3 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.

(cherry picked from commit 49741d9464)

2020-12-29 16:01:59 +01:00

..

classes

Add important note about OS.get_unixtime.

2020-12-29 16:01:59 +01:00

tools

makerst: Add missing newline at EOF

2020-09-15 19:26:44 +02:00

Doxyfile

…

Makefile

…