Daniel Rudolf 8a11a65c9f Create distinct _build/.gitignore		2017-05-06 19:34:58 +02:00
..
.gitignore	Create distinct _build/.gitignore	2017-05-06 19:34:58 +02:00
create-release-archive.sh	Update _build/create-release-archive.sh	2016-08-24 21:50:03 +02:00
deploy-phpdoc-branch.sh	Merge branch 'master' into pico-1.1	2016-11-02 23:02:20 +01:00
deploy-phpdoc-release.sh	Merge branch 'master' into pico-1.1	2016-11-02 23:02:20 +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-clone.sh	Build system: Fix _build/github-clone.sh	2016-11-02 22:40:05 +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
update-phpdoc-list.sh	Build system: Add phpDoc list	2016-04-27 16:49:38 +02:00
update-version-file.sh	Build system: Move generate-version.sh	2016-04-27 16:49:10 +02:00