]> matita.cs.unibo.it Git - helm.git/commit
removed ancient mlminidom
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:15:16 +0000 (17:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:15:16 +0000 (17:15 +0000)
commitdf249284627b8609efbac0d3e55cfc585db1683d
tree3c386eb12db9bdb63595c84527176f76a5dcb08d
parentbb08a0759e85fe7fa19c4a4cfc5b159a616db34f
removed ancient mlminidom
26 files changed:
helm/DEVEL/mlminidom/.cvsignore [deleted file]
helm/DEVEL/mlminidom/.depend [deleted file]
helm/DEVEL/mlminidom/AUTHORS [deleted file]
helm/DEVEL/mlminidom/COPYING [deleted file]
helm/DEVEL/mlminidom/ChangeLog [deleted file]
helm/DEVEL/mlminidom/META.in [deleted file]
helm/DEVEL/mlminidom/Makefile.in [deleted file]
helm/DEVEL/mlminidom/NEWS [deleted file]
helm/DEVEL/mlminidom/README [deleted file]
helm/DEVEL/mlminidom/configure.in [deleted file]
helm/DEVEL/mlminidom/debian/changelog [deleted file]
helm/DEVEL/mlminidom/debian/control [deleted file]
helm/DEVEL/mlminidom/debian/copyright [deleted file]
helm/DEVEL/mlminidom/debian/dirs [deleted file]
helm/DEVEL/mlminidom/debian/docs [deleted file]
helm/DEVEL/mlminidom/debian/examples [deleted file]
helm/DEVEL/mlminidom/debian/rules [deleted file]
helm/DEVEL/mlminidom/minidom.ml [deleted file]
helm/DEVEL/mlminidom/minidom.mli [deleted file]
helm/DEVEL/mlminidom/ml_minidom.c [deleted file]
helm/DEVEL/mlminidom/ml_minidom.h [deleted file]
helm/DEVEL/mlminidom/mlminidom.spec.in [deleted file]
helm/DEVEL/mlminidom/ominidom.ml [deleted file]
helm/DEVEL/mlminidom/ominidom.mli [deleted file]
helm/DEVEL/mlminidom/test.ml [deleted file]
helm/DEVEL/mlminidom/test.xml [deleted file]