]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d39b77) | patch
changed logging message
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:39:01 +0000 (16:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:39:01 +0000 (16:39 +0000)
commit584abc3d3cccd07c0022d7454350c19a4234e87e
tree1979dced1ca6b48c1bd0f32d2f4aec45689e02betree | snapshot
parent6d39b77675e2099bebd4747c9a0bb62af94cd4c2commit | diff
changed logging message
helm/scripts/init.d/helm-uwobo diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.