Merge branch 'master' into 3219-further-docker-improvements
[arvados.git] / docker / shell / Dockerfile
2014-07-19 Ward VandewegeMerge branch 'master' into 3219-further-docker-improvements
2014-07-19 Ward Vandewege* Add shell node to docker installation.