Tue, 15 Dec 2009 15:35:02 +0100Fixed confusion about __common_ticktime type, redesigned LPC PLC timer support
edouard [Tue, 15 Dec 2009 15:35:02 +0100] rev 518
Fixed confusion about __common_ticktime type, redesigned LPC PLC timer support