]> matita.cs.unibo.it Git - helm.git/commit
removed old -config script
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 Jun 2003 15:28:41 +0000 (15:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 Jun 2003 15:28:41 +0000 (15:28 +0000)
commit2dc0733271cd251aaa3edaece8a883fe691775ab
treeae299779920ffe820e7f42f21c0337999624002c
parent3c4da11f870a6cf69860dbbbf22324733c3ccf44
removed old -config script
helm/DEVEL/gdome_xslt/.cvsignore
helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in [deleted file]