]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94b1200) | patch
Installation instructions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:25:45 +0000 (14:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:25:45 +0000 (14:25 +0000)
commiteb66cc42b19a35b39051aadfdeee102074a58400
tree8aae512a4d143d9d355f200433dce273217bfe25tree | snapshot
parent94b1200cde6becefba4ee80469190284f74fe91ccommit | diff
Installation instructions.
helm/gTopLevel/INSTALL [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.