X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fdaemons%2Fscripts%2Finit.d%2Fhelm-proof-checker;fp=helm%2Fsoftware%2Fdaemons%2Fscripts%2Finit.d%2Fhelm-proof-checker;h=9ea0eaffc77accca5f200b865175b1184ed336ee;hb=bbf85ddcdfe0809fee0c6ca9812ce0da30c238af;hp=9ea0eaffc77accca5f200b865175b1184ed336ee;hpb=7c9d99dfb049d726491b71f07ba6a9b088b30166;p=helm.git

diff --git a/helm/software/daemons/scripts/init.d/helm-proof-checker b/helm/software/daemons/scripts/init.d/helm-proof-checker
old mode 100755
new mode 100644