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	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