]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: aadac22)
last fix.
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 23 Sep 2006 18:09:06 +0000 (18:09 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 23 Sep 2006 18:09:06 +0000 (18:09 +0000)
helm/software/matita/scripts/crontab.sh patch | blob | history

diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh
index 51e090d98dfedc3a2823d0cedcada5c23d05e5c3..f59bcdb97220392a36f07a437d80a84243626c59 100644 (file)
--- 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`
Unnamed repository; edit this file 'description' to name the repository.