define fetch sources
authorBaris Metin <Talip-Baris.Metin@sophia.inria.fr>
Fri, 18 Jun 2010 13:25:00 +0000 (15:25 +0200)
committerBaris Metin <Talip-Baris.Metin@sophia.inria.fr>
Fri, 18 Jun 2010 13:25:00 +0000 (15:25 +0200)
commitf6a8502a62fa64f27c8a2fa50115ce2814925376
tree6ff9ee6bade503cd3c1220fdb6d023fcbb13a52c
parent4db94323614e46588948dc644dce8a7581dce92d
define fetch sources
scripts/git-mirror.sh