change in convenience targets sync-* in Makefile
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 23 Feb 2015 18:02:46 +0000 (19:02 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 23 Feb 2015 18:02:46 +0000 (19:02 +0100)

No differences found