Daniel Rudolf 10495c2ce5 _build/generate-badge.sh: Use curl instead of wget ... After playing around a little bit with a Ubuntu 12.04 LTS virtual machine, `curl` came in my mind... I've absolutetly no idea why `curl` works, but `wget` does not (it's an issue with OpenSSL and both use it the same way...), but anyway - it works		2016-01-16 00:06:12 +01:00
..
deploy-phpdoc-branch.sh	Build scripts: Fix exit codes	2016-01-14 22:57:31 +01:00
deploy-phpdoc-release.sh	Build scripts: Fix exit codes	2016-01-14 22:57:31 +01:00
generate-badge.sh	_build/generate-badge.sh: Use curl instead of wget	2016-01-16 00:06:12 +01:00
generate-phpdoc.sh	Build scripts: Add file comments	2016-01-07 03:00:32 +01:00
github-deploy.sh	Build scripts: Fix exit codes	2016-01-14 22:57:31 +01:00
github-setup.sh	Build scripts: Fix formatting	2016-01-14 14:16:24 +01:00