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