Daniel Rudolf fd78ec38c7

Various small improvements

2017-06-20 17:32:09 +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

install.sh

Various small improvements

2017-06-20 17:32:09 +02: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