Konstantin Käfer b3f31e9fa2 [core] update docker script ...

[skip ci]

2015-10-16 13:58:01 +02:00

..

Dockerfile

[core] update docker script

2015-10-16 13:58:01 +02:00

run-gcc.sh

[core] update docker script

2015-10-16 13:58:01 +02:00

test.sh

[core] update docker script

2015-10-16 13:58:01 +02:00