Closed jirikrepl closed 8 years ago
docker images could be build at travisCI. Then it is pushed to hub.docker.
Deleted redundant docker-dev file
docker images could be build at travisCI. Then it is pushed to hub.docker.
Deleted redundant docker-dev file