X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fcrontab.sh;h=f59bcdb97220392a36f07a437d80a84243626c59;hb=b5fdd3c31b9595c0c1c1b9954bcf5a914b2a1fbb;hp=51e090d98dfedc3a2823d0cedcada5c23d05e5c3;hpb=aadac2223b030e176ec14374427037800e1b5732;p=helm.git

diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh
index 51e090d98..f59bcdb97 100644
--- a/helm/software/matita/scripts/crontab.sh
+++ b/helm/software/matita/scripts/crontab.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -x
+#set -x
 
 #configuration
 TODAY=`date +%Y%m%d`