]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eed9cd4) | patch
script deprecated
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 15:56:08 +0000 (15:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 15:56:08 +0000 (15:56 +0000)
commit6d564c33154c98e83a358e9f929eb4f9d4ee1608
treea1dd50dee265ac65812efd63c7badfe9db4cb0a5tree | snapshot
parenteed9cd448726bb9db34ac69e8e137460e691bcfccommit | diff
script deprecated
helm/scripts/init.d/uwobo_forever.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.