]> matita.cs.unibo.it Git - helm.git/commit
removed debugging prints and better sample
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Sep 2005 09:13:04 +0000 (09:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Sep 2005 09:13:04 +0000 (09:13 +0000)
commitec11b4f9daa87bb3aa8f48968c5712d39a0e5374
treeebc7e61acf411462ca855079b9d7d1d6459e858e
parent67e223f6d9a8a08a855885bbbedf18c3dcd192cd
removed debugging prints and better sample
helm/ocaml/registry/helm_registry.ml
helm/ocaml/registry/tests/sample.xml