jobs/shlib.sh: Fix the git alias
commit78ed30041b0b1e5cc13ac40a175cd7f0ff66dab8
authorPetr Baudis <petr.baudis@novartis.com>
Fri, 25 Jul 2008 16:16:03 +0000 (25 18:16 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Fri, 25 Jul 2008 16:16:03 +0000 (25 18:16 +0200)
tree492c22718b868207c2f2c503f5a3ea74f7140486
parent615cb4b5eddfd229981281688a2932d9ca59fe30
jobs/shlib.sh: Fix the git alias
jobs/shlib.sh