summaryrefslogtreecommitdiff
path: root/ci/travis.sh
AgeCommit message (Expand)Author
2018-08-20CI: fix the build on TravisAdriaan de Groot
2018-08-10CI: for now, switch off PythonQtAdriaan de Groot
2017-10-25CI: Replace Jenkins-oriented scripts with Travis-oriented onesAdriaan de Groot