]> git.donarmstrong.com Git - neurodebian.git/history - tools/neurodebian-travis.sh
BF: right -- by default it disables now neurodebian even if was present before
[neurodebian.git] / tools / neurodebian-travis.sh
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