Change the base docker image. master
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 31 Aug 2016 21:36:36 +0000 (23:36 +0200)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 31 Aug 2016 21:36:36 +0000 (23:36 +0200)
commit41472671c837bcc08074fbf8979bfbcba29a9965
tree48f0204ea3052c6b0e42ea96c716cf489cd3d318
parent501f11865466ab50278a6dda48be65a43205fcbb
Change the base docker image.
docker.sh