Eugenio Romano 5bc7887cd4 fix update children

2020-05-04 21:18:48 +01:00

..

trigger-travis-children.sh

fix trigger script

2020-04-30 14:43:19 +01:00

update-children.sh

fix update children

2020-05-04 21:18:48 +01:00

update-project.sh

better commit message

2020-05-04 11:34:45 +01:00