matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: f11326e) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 19 Jan 2004 09:54:59 +0000 (09:54 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 19 Jan 2004 09:54:59 +0000 (09:54 +0000)
commit	f607fe07cf39edce4989711614139e00148612dd
tree	be03605dbf3a4b65b4e14e0d584f479bed8933bf	tree \| snapshot
parent	f11326e0db6cb41be9785ce4eb52d87c8cc3c075	commit \| diff

No longer in use.

helm/scripts/init.d/etc_default_helm	[deleted file]	blob \| history
helm/scripts/init.d/helm	[deleted file]	blob \| history
helm/scripts/init.d/helm-bootmisc.sh	[deleted file]	blob \| history
helm/scripts/init.d/helm-draw-graph	[deleted file]	blob \| history
helm/scripts/init.d/helm-http-getter	[deleted file]	blob \| history
helm/scripts/init.d/helm-proof-checker	[deleted file]	blob \| history
helm/scripts/init.d/helm-tomcat	[deleted file]	blob \| history
helm/scripts/init.d/helm-uri-set-queue	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.