]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dc5a75) | patch
removed tedious "_mowgli" postfix
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:16:01 +0000 (16:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:16:01 +0000 (16:16 +0000)
commitcbcedd8ea841d69bf2f743730c0d4d511bbcb58c
treec52351aa77484c80b3cbf9eb17601ff27be6bf2atree | snapshot
parent6dc5a75359bd858a997c6f190e35e3c048bf7197commit | diff
removed tedious "_mowgli" postfix
23 files changed:
helm/scripts/init.d/etc_default_helm [new file with mode: 0644] blob
helm/scripts/init.d/etc_default_helm_mowgli [deleted file] blob | history
helm/scripts/init.d/helm [new file with mode: 0755] blob
helm/scripts/init.d/helm-bootmisc.sh [new file with mode: 0755] blob
helm/scripts/init.d/helm-bootmisc_mowgli.sh [deleted file] blob | history
helm/scripts/init.d/helm-draw-graph [new file with mode: 0755] blob
helm/scripts/init.d/helm-draw-graph_mowgli [deleted file] blob | history
helm/scripts/init.d/helm-http-getter [new file with mode: 0755] blob
helm/scripts/init.d/helm-http-getter_mowgli [deleted file] blob | history
helm/scripts/init.d/helm-proof-checker [new file with mode: 0755] blob
helm/scripts/init.d/helm-proof-checker_mowgli [deleted file] blob | history
helm/scripts/init.d/helm-rdfly [new file with mode: 0755] blob
helm/scripts/init.d/helm-rdfly_mowgli [deleted file] blob | history
helm/scripts/init.d/helm-search-engine [new file with mode: 0755] blob
helm/scripts/init.d/helm-search-engine_mowgli [deleted file] blob | history
helm/scripts/init.d/helm-tomcat_mowgli [deleted file] blob | history
helm/scripts/init.d/helm-uri-set-queue [new file with mode: 0755] blob
helm/scripts/init.d/helm-uri-set-queue_mowgli [deleted file] blob | history
helm/scripts/init.d/helm-uwobo [new file with mode: 0755] blob
helm/scripts/init.d/helm-uwobo-stylesheets [new file with mode: 0755] blob
helm/scripts/init.d/helm-uwobo_mowgli [deleted file] blob | history
helm/scripts/init.d/helm_mowgli [deleted file] blob | history
helm/scripts/init.d/uwobo_forever.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.