tree 3f9a6402883f18f3ed29eb7b45bedfca2b1e0b3f
parent 1984094c15ab464c56ddc2c898d6b2ab0caf9649
author Daniel Veillard <veillard@src.gnome.org> 1007471684 +0000
committer Daniel Veillard <veillard@src.gnome.org> 1007471684 +0000

applied Geert Kloosterman's patch to fix --repeat --timing output Daniel

* xmllint.c: applied Geert Kloosterman's patch to fix
  --repeat --timing output
Daniel