use source tarball from mirrored third-party area
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 13 Sep 2011 07:42:01 +0000 (09:42 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 13 Sep 2011 07:42:01 +0000 (09:42 +0200)
commitb07fc08c16deb976dd6c85d1d3e72bc3dc4aa2b6
tree2c7c9bba32799a0d04daabcea760895949835171
parent1b53ef3816262c787faca3005c35f61b24862d7c
use source tarball from mirrored third-party area
Makefile