Fix the xml_diff program to also check trailing events (after </root>)
[tatoo.git] / include / utils.ml
2012-06-28 Kim NguyễnUsable version: