]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e79c0b5) | patch
added /etc/init.d/ stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 9 Oct 2002 09:36:49 +0000 (09:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 9 Oct 2002 09:36:49 +0000 (09:36 +0000)
commitab934e873165bf0e661c9e59fddf81714bcb32ff
treeff923d61df9398429953dd86f3bd46bb09ae9b14tree | snapshot
parente79c0b56a4b1f5e50129950ba652952565a528cbcommit | diff
added /etc/init.d/ stuff
helm/scripts/init.d/etc_default_helm [new file with mode: 0644] blob
helm/scripts/init.d/helm [new file with mode: 0755] blob
helm/scripts/init.d/helm-draw-graph [new file with mode: 0755] blob
helm/scripts/init.d/helm-http-getter [new file with mode: 0755] blob
helm/scripts/init.d/helm-proof-checker [new file with mode: 0755] blob
helm/scripts/init.d/helm-uri-set-queue [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.