Daniel Rudolf ce84a8618c Build system: Minor code refactoring

2016-01-17 21:26:06 +01:00

..

deploy-phpdoc-branch.sh

Build system: Minor code refactoring

2016-01-17 21:26:06 +01:00

deploy-phpdoc-release.sh

Build system: Minor code refactoring

2016-01-17 21:26:06 +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