tree 99aac0de8fd3cbdacf83ca0c8fbd3d906d5966a2
parent 343cdfbeca61beef0ec325f710d014a77976f5c8
author Davide Pesavento <davide.pesavento@lip6.fr> 1516591313 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1516591313 -0500

Update CI scripts

Synced from ndn-tools

Change-Id: I1faf341ab032a2e5ca2a70e2c1142379581fba34