mirroring/clone.sh: Fix $proj setup
commit4257550bd1a629ccb72c7be5eae379eccd774ed1
authorPetr Baudis <petr.baudis@novartis.com>
Thu, 14 Aug 2008 17:44:09 +0000 (14 19:44 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Thu, 14 Aug 2008 17:44:09 +0000 (14 19:44 +0200)
tree074e72fd694e90d7613f7cf37dcf5e867cc843d0
parent01bba2d515aa5fd16275c522856021122bcc618d
mirroring/clone.sh: Fix $proj setup
mirroring/clone.sh