fix git url
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Nov 2010 10:04:09 +0000 (11:04 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Nov 2010 10:04:09 +0000 (11:04 +0100)
commitcf4ca2c1900ae105269ef0805ef941b91638ddb5
treea531a83f94049c9eea08469a0462ec1250f359fe
parent21cdd9570e26a6893857cf25f387171d63837012
fix git url
f12-tags.mk