remove baris
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 12 Jun 2012 09:02:18 +0000 (11:02 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 12 Jun 2012 09:02:18 +0000 (11:02 +0200)
commita4a0e5c1f00e3f7aa0536ef68395222369018b42
treee95b8c4429da04193904fe5f94973787aa1cdaf8
parent7a9faaa98c4f5407417c675d854651439ef0909f
remove baris
scripts/git-mirror.sh