jobs/: git --git-dir instead of GIT_DIR git
commitdefec43ff683b5b308aeeaca99162b70932bbd8e
authorPetr Baudis <petr.baudis@novartis.com>
Thu, 24 Jul 2008 14:16:19 +0000 (24 16:16 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Thu, 24 Jul 2008 14:16:19 +0000 (24 16:16 +0200)
treee293b5a0e1327c08a9b9a6efb7c16e6c86622d0c
parent5b7d220393f9c405fac1a49f202fff519edd796f
jobs/: git --git-dir instead of GIT_DIR git
jobs/clone.sh
jobs/update.sh
jobs/updatecheck.sh