-
Daniel Veillard authored
* configure.in xmllint.c: trying to fix #71457 for timing precision when gettimeofday() is not availble but ftime() is Daniel
8c1ae606
* configure.in xmllint.c: trying to fix #71457 for timing precision when gettimeofday() is not availble but ftime() is Daniel