]> matita.cs.unibo.it Git - helm.git/commit
moved xmldiff in ocaml/
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:41:40 +0000 (09:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:41:40 +0000 (09:41 +0000)
commit9eec441229b7ca4a06abc7cc781177bbf21faa9d
treef8f19674f6616332259b381b82295bdf0d8d57de
parent171dce3a11dae479d1a727744dabba02e41a7b60
moved xmldiff in ocaml/
helm/gTopLevel/xmlDiff.ml [deleted file]
helm/gTopLevel/xmlDiff.mli [deleted file]