make syncbin to also push keyconvert.py
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 29 Mar 2019 15:21:46 +0000 (16:21 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 16 Apr 2019 14:01:08 +0000 (16:01 +0200)
commit2e0f1067f4855ecae8720d9a45f87dd0fa5147a0
treee354242f4560c1709d4f1ccf4436f0281327dc7b
parent648ac3fd865ea29425485f26eb0a7bf1a62281e0
make syncbin to also push keyconvert.py
Makefile