Commit 8c1ae606be9844a8bede7afd300500e6522e8560
2002-03-07T11:21:00
trying to fix #71457 for timing precision when gettimeofday() is not * configure.in xmllint.c: trying to fix #71457 for timing precision when gettimeofday() is not availble but ftime() is Daniel