|
|
c8578b4659
|
travis-ci: update location of travis-settings.xml
|
2017-05-28 16:29:56 +01:00 |
|
|
|
3a9670ad85
|
travis-ci: use a shell-safe password
|
2017-05-28 16:26:12 +01:00 |
|
|
|
44c7c0bcb3
|
travis-ci: make shell scripts executable (again)
|
2017-05-28 15:06:37 +01:00 |
|
|
|
2706045dfb
|
travis-ci: updated and add encrypted gpg credentials
|
2017-05-28 14:54:23 +01:00 |
|
