]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4923ca) | patch
during update, asks the perl getter to update too
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Dec 2000 20:00:19 +0000 (20:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 1 Dec 2000 20:00:19 +0000 (20:00 +0000)
commit6a0c95aa83419769d65137e24edf3468f94993c9
tree15c8e3103b296cc9b07008c060923e4d2041fbc7tree | snapshot
parente4923cacaf9d64f3d69afd79b85a21660dc0ab76commit | diff
during update, asks the perl getter to update too
helm/interface/getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.