]> matita.cs.unibo.it Git - helm.git/commit
remove spurious comment
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:44:37 +0000 (09:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:44:37 +0000 (09:44 +0000)
commit490684d4a950314576e53a70c5ab5dfa660b8855
treefe58439a49388c17ed51ce7b77661d6e5969c41a
parent9c7d78711a2ec0c89cbde7bb47698c033ab707ee
remove spurious comment
helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli