clean NOTIFY files
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 15:29:05 +0000 (17:29 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 15:29:05 +0000 (17:29 +0200)
commit7b33b314f979da37cd4890def0c0f8a05f889cf2
treece282d13459e90e8d4a563865986329b326d08b9
parent2b6079112ea32c7fdcb4cba4ff604909335ba103
clean NOTIFY files
scripts/manage-git-mirror.sh