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