]> git.donarmstrong.com Git - neurodebian.git/history - tools/neurodebian-travis.sh
Also for stats report which repo and which job number use our setup
[neurodebian.git] / tools / neurodebian-travis.sh
2015-02-06 Yaroslav HalchenkoAlso for stats report which repo and which job number... master
2015-02-06 Yaroslav HalchenkoENH: fetch our key from our server instead of pgp.mit...
2015-02-06 Yaroslav Halchenkoour original neurodebian-travis.sh helper