]> matita.cs.unibo.it Git - helm.git/commit
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:30:12 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:30:12 +0000 (17:30 +0000)
commit2540cc551ae097178c7e11ec578b58977a35bd3b
tree550c254aa37a5d35a53f3aeda7a78552af47f0a4
parent93b0c2d038540dd1f3088609ecb0aea6d09a392c
...
helm/interface/.cvsignore
helm/interface/AUTHORS
helm/interface/Makefile.in
helm/interface/README
helm/interface/config.cache.pkg [new file with mode: 0644]
helm/interface/configuration.ml.in
helm/interface/configure.in
helm/interface/helm_gtk_interface-0.0.1-1.spec