]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0afdc1) | patch
First files added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 12:19:44 +0000 (12:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 12:19:44 +0000 (12:19 +0000)
commitba5c18602094f16b953069744a7cf34c76fe58e7
treef38155d96b625ac87d3d2df77df997ead2611c1btree | snapshot
parentf0afdc1f5a2ac9fbad00f6b9c9ca7bff11a4a292commit | diff
First files added
helm/helm_data/AUTHORS [new file with mode: 0644] blob
helm/helm_data/COPYING [new file with mode: 0644] blob
helm/helm_data/ChangeLog [new file with mode: 0644] blob
helm/helm_data/Makefile.in [new file with mode: 0644] blob
helm/helm_data/NEWS [new file with mode: 0644] blob
helm/helm_data/README [new file with mode: 0644] blob
helm/helm_data/config.cache.pkg [new file with mode: 0644] blob
helm/helm_data/configure.in [new file with mode: 0644] blob
helm/helm_data/helm_data-0.0.1-1.spec [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.