Adds a set of testing script:
[tatoo.git] / tools / xml_diff.ml
2013-03-10 Kim NguyễnAdds a set of testing script: