]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aabc65e) | patch
Minor modification
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 17:46:04 +0000 (17:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 17:46:04 +0000 (17:46 +0000)
commitfd71957165d9d815b4ebeb1cd387262ac272945e
treed006e7cf7f3a547d7bb155084fe1e81c465f2a3ftree | snapshot
parentaabc65e7ce88b0a625e83449f1f8fceda3be393acommit | diff
Minor modification
helm/interface/cadet diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.