Sybren A. Stüvel f7e5db2174 Copy files from work directory instead of $DOCKER_DEPLOYDIR ...

Those files aren't run from inside docker, so it's unnecessary to rebuild
the docker image when we want to deploy new versions.

2018-02-21 11:30:48 +01:00

..

2docker.sh

No more branch check for subprojects

2018-02-02 12:04:47 +01:00

2server.sh

Copy files from work directory instead of $DOCKER_DEPLOYDIR

2018-02-21 11:30:48 +01:00

build-all.sh

Scripts for easier deployment without leaving ./deploy/

2018-02-13 11:46:29 +01:00

build-quick.sh

Scripts for easier deployment without leaving ./deploy/

2018-02-13 11:46:29 +01:00