]> 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)
commitbcabf2c94886dcaa7af40588c6f2fb11b7b52efb
treeb8b6cdfd88a056a266e81c82a1f95cda593f4424
parent9832ff2b1a4d5e12c42fe1ce420457523428b63f
remove spurious comment
DEVEL/gdome_xslt/ocaml/gdome_xslt/gdome_xslt.mli