New image to use with docker.
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 27 Jan 2016 17:22:32 +0000 (18:22 +0100)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Wed, 27 Jan 2016 17:22:54 +0000 (18:22 +0100)
commit7038d46952b1de9c568a5be851b8af1c4760f4cb
tree312201b4c2dd0932ed945dc29b0f0134cb18167a
parentec98fdfc92a4f8b4a04f5c0b45a124edf7463f9a
New image to use with docker.
docker.sh