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.