tree 8937e843f16faaf99bd2fdd93849397775862b6e
parent 8c1ae606be9844a8bede7afd300500e6522e8560
author Daniel Veillard <veillard@src.gnome.org> 1015513978 +0000
committer Daniel Veillard <veillard@src.gnome.org> 1015513978 +0000

owen pointed out a problem with the ftime fix, gettimeofday() was not

* configure.in xmllint.c: owen pointed out a problem with the
ftime fix, gettimeofday() was not detected by configure and
the ftime header wasn't included, dohhh
Daniel