Hugo Locurcio 90a1f8d8a7 Make OS.execute() blocking by default if not specified ... This makes `OS.execute()` calls quicker to set up when calling programs in a blocking fashion.		2020-01-23 01:26:32 +01:00
..
classes	Make OS.execute() blocking by default if not specified	2020-01-23 01:26:32 +01:00
tools	makerst: Use code markup for default values/overrides	2020-01-20 12:38:08 +01: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