fix location where to upload new code when doing make sync
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 23 Jun 2015 09:10:56 +0000 (11:10 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 23 Jun 2015 09:10:56 +0000 (11:10 +0200)
commitba04355e6b763ba8335c573a30a43ce78e011619
tree76ece3605ca6ff1abfd966117105a8a4c25bb9cf
parentfcd42ed904a57d69c4d1c1ea5e00cd93ae665f53
fix location where to upload new code when doing make sync
Makefile