adds date in logfile
[infrastructure.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 171 auto-update.sh
-rwxr-xr-x 2739 dump-db-svn.sh
-rw-r--r-- 782 functions.sh
-rwxr-xr-x 774 refresh-peer.py