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)
commitdf7cd39e8ca7a3d52d5d448c05d20f7b01443b69
treed1878529299c59766e447ad04365f669520e9fc6
parentf60787dbdae954722ae23148060efaa9d27de6d7
change in convenience targets sync-* in Makefile
Makefile