john30 5fa8dfad23 rebuild buildenv only if needed, move deb to runtime instead of copying it

2017-02-04 11:14:16 +01:00

..

buildenv

first version of docker support

2017-01-29 16:52:01 +01:00

runtime

updated to current version

2017-02-04 10:49:58 +01:00

build.sh

rebuild buildenv only if needed, move deb to runtime instead of copying it

2017-02-04 11:14:16 +01:00

update.sh

first version of docker support

2017-01-29 16:52:01 +01:00