sshsh has gone, cleanup in make sync
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 28 Mar 2014 16:34:45 +0000 (17:34 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 28 Mar 2014 16:34:45 +0000 (17:34 +0100)
commit8225262f42fdb717c8e2a5b8bd591d07116c743e
tree1551a22d2530f0cf7afc42783f17694eeba73d5e
parentf7e5c91ed2c0dbec63942bc7e0484088902e1eb9
sshsh has gone, cleanup in make sync
Makefile