review sync target for git
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 31 Aug 2010 07:18:18 +0000 (09:18 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 31 Aug 2010 07:18:18 +0000 (09:18 +0200)
commit99a53ceea81d8bfd3999800b823a1626d8dcb662
tree646ad13f73cb2ad97e21d4c9a4740b1c5a485ff7
parent25d592663f87afd3082f21bea43ba261c5e54180
review sync target for git
Makefile