Daniel Rudolf 867f81a443 Various small improvements		2017-10-12 16:15:58 +02:00
..
.gitignore	Create distinct _build/.gitignore	2017-05-06 19:34:58 +02:00
create-release-archive.sh	Build system: Fix _build/create-release-archive.sh	2017-10-12 15:06:22 +02:00
deploy-phpdoc-branch.sh	Travis CI: Use Build Stages	2017-06-21 02:26:44 +02:00
deploy-phpdoc-release.sh	Build system: Add cloc statistics to release deployment	2017-10-12 15:14:21 +02: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-clone.sh	Build system: Fix _build/github-clone.sh	2016-11-02 22:40:05 +01:00
github-deploy.sh	Travis CI: Use Build Stages	2017-06-21 02:26:44 +02:00
github-setup.sh	Build scripts: Fix formatting	2016-01-14 14:16:24 +01:00
install.sh	Travis CI: Use Build Stages	2017-06-21 02:26:44 +02:00
update-cloc-stats.sh	Build system: Add cloc statistics to release deployment	2017-10-12 15:14:21 +02:00
update-phpdoc-list.sh	Various small improvements	2017-10-12 16:15:58 +02:00
update-version-file.sh	Build system: Move generate-version.sh	2016-04-27 16:49:10 +02:00