]> www.ginac.de Git - cln.git/history - TODO-subclass
Retrieve the real time through gettimeofday(), not times().
[cln.git] / TODO-subclass
2000-01-28 Richard KreckelInitial revision