]> matita.cs.unibo.it Git - helm.git/commit
remove x_gdome_caml.c generated source on "clean"
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Mar 2005 23:45:33 +0000 (23:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Mar 2005 23:45:33 +0000 (23:45 +0000)
commite1cb0f658f9b16009fe536fd315b621df1157a65
treef9b66d91eaff049db459a6f5fc360360a043d304
parentb41886e9d21d756279bd6a2ec3f19c17b1a64401
remove x_gdome_caml.c generated source on "clean"
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am