mirroring/update.sh: Remove the obsolete --git-dir=.
commitd0166ba535720f041b17ba5dbbf5a85604c91a4b
authorPetr Baudis <petr.baudis@novartis.com>
Thu, 14 Aug 2008 17:49:44 +0000 (14 19:49 +0200)
committerPetr Baudis <petr.baudis@novartis.com>
Thu, 14 Aug 2008 17:49:44 +0000 (14 19:49 +0200)
tree6d63c1780b2ec9d33ace6529e64d889b3249750d
parent4257550bd1a629ccb72c7be5eae379eccd774ed1
mirroring/update.sh: Remove the obsolete --git-dir=.
mirroring/update.sh