commit | 8c1ae606be9844a8bede7afd300500e6522e8560 | [log] [tgz] |
---|---|---|
author | Daniel Veillard <veillard@src.gnome.org> | Thu Mar 07 11:21:00 2002 +0000 |
committer | Daniel Veillard <veillard@src.gnome.org> | Thu Mar 07 11:21:00 2002 +0000 |
tree | 48855be786e9696ddd8a5d275ab91951bc337dc2 | |
parent | f5a457a3ac384dc8b32d9123c88f5afba14dc8ba [diff] |
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