]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c09374f) | patch
- added support for UWOBO respawner
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Apr 2003 08:12:43 +0000 (08:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Apr 2003 08:12:43 +0000 (08:12 +0000)
commitd7af0bea08601069238c9523a3274982681209bf
treeb2bd82098874cc01e76932dadbd3acf5a4a44ed9tree | snapshot
parentc09374f0c5da8086504e34609881c0a75715e404commit | diff
- added support for UWOBO respawner
- added some newline related pretty printing
helm/scripts/init.d/helm-uwobo_mowgli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.