Hugo Locurcio 35b046ddf7 Add an OS.get_thread_caller_id() method ...

This can be used to print thread IDs in logs. This can make it easier
to debug multi-threaded applications.

Co-authored-by: Khaos <khaos@khaos-coders.org>

2020-12-27 16:54:18 +01:00

..

classes

Add an OS.get_thread_caller_id() method

2020-12-27 16:54:18 +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

…