Daniel Rudolf
|
1561786f31
|
_build/generate-badge.sh: Connect to shields.io using SSLv3
This is necessary due to a strange TLS bug in Ubuntu 12.04 LTS used by Travis CI. See https://bugs.launchpad.net/ubuntu/+source/openssl/+bug/861137 for details.
|
2016-01-14 16:02:34 +01:00 |
|
Daniel Rudolf
|
8c24e32f10
|
Build scripts: Fix formatting
|
2016-01-14 14:16:24 +01:00 |
|
Daniel Rudolf
|
cd0e0f706f
|
Build scripts: Git identity must be configured before committing
|
2016-01-14 13:12:10 +01:00 |
|
Daniel Rudolf
|
92026a3bd0
|
Add static shields.io badge generator
|
2016-01-14 12:49:46 +01:00 |
|