Andreas Dangel 57049e0c15 Remove travis plugin to enable toolchain. ...

Remove duplicated server entry in settings.xml

2017-02-24 21:32:19 +01:00

..

build-pull-request.sh

New travis build scripts

2017-02-24 20:10:22 +01:00

build-push.sh

New travis build scripts

2017-02-24 20:10:22 +01:00

id_rsa.pub

Prepare travis environment:

2017-02-24 20:10:22 +01:00

release.sh

New travis build scripts

2017-02-24 20:10:22 +01:00

secrets.tar.enc

Use tar archive, since travis supports only one encrypted file

2017-02-24 20:36:45 +01:00

travis-settings.xml

Remove travis plugin to enable toolchain.

2017-02-24 21:32:19 +01:00

travis-toolchains.xml

Move travis specific files into own subdirectory .travis

2017-02-24 20:09:38 +01:00