support for module renaming - git-mirror skips symlinks
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 28 Mar 2012 10:02:07 +0000 (12:02 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 28 Mar 2012 10:02:07 +0000 (12:02 +0200)
commitc7c3a831adb47558ab183a20b1b02a500dba6246
tree7ebfcf6ca23d6156a9d0021a442065633d06b031
parent10bff340b8ca9b2087e3807c0e3ec6849de54e08
support for module renaming - git-mirror skips symlinks
scripts/git-mirror.sh