Switch to side-by-side view
--- a/Timer.def +++ b/Timer.def @@ -8,7 +8,7 @@ (* Licence : GNU Lesser General Public License (LGPL) *) (*------------------------------------------------------------------------*) - (* $Id: Timer.def,v 1.1 2015/09/13 18:13:28 mriedl Exp mriedl $ *) + (* $Id: Timer.def,v 1.2 2018/06/08 21:38:43 mriedl Exp mriedl $ *) IMPORT UnixLib; IMPORT SysClock;