Sun, 18 Jan 2015 19:41:27 +0100minor cleanup
Edouard Tisserant [Sun, 18 Jan 2015 19:41:27 +0100] rev 1430
minor cleanup

Fri, 16 Jan 2015 22:09:28 +0100merged forgotten changes
Edouard Tisserant [Fri, 16 Jan 2015 22:09:28 +0100] rev 1429
merged forgotten changes

Fri, 12 Dec 2014 14:41:53 +0100Simplified use of runtime's global variable __common_ticktime accross extensions.
Edouard Tisserant [Fri, 12 Dec 2014 14:41:53 +0100] rev 1428
Simplified use of runtime's global variable __common_ticktime accross extensions.