]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60c6657) | patch
Dependency simplification.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Feb 2003 10:50:45 +0000 (10:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Feb 2003 10:50:45 +0000 (10:50 +0000)
commit2067a9df915d712a9fad6a4cc6f15562e19800fa
treed5345ed13c740288f694e9dac40a0a0f13a4463etree | snapshot
parent60c66573ddcb1cea922095dfdc3a315d8d5012a1commit | diff
Dependency simplification.
helm/gTopLevel/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.