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>
Fri, 29 Mar 2019 15:21:46 +0000 (16:21 +0100)
commite5537b113b6fe5874fdcd5b12414568500aa106c
tree0974cc16d46c2bea6a29eb67c8d45e5fd3e554ce
parent061c47a7b94d746ef379591230f8e96e31c5b5bf
make syncbin to also push keyconvert.py
Makefile