docker: more changes to support new Debian docker.io packages
[arvados.git] / docker / workbench / production.rb.in
2014-02-16 Tom CleggMerge branch 'master' into 2060-edit-tags-in-workbench
2014-02-12 Peter AmstutzMerge branch '2061-update-docs'
2014-02-11 Tim PierceMerge branch '2072-workbench-docker'
2014-02-11 Tim PierceAdded missing workbench configuration directives to...
2013-11-20 Ward VandewegeMake workbench work with the API server.
2013-11-14 Tim PierceMerge branch '1579-keep-server-in-docker' of git.clinic...
2013-11-13 Ward VandewegeAdd docker image with workbench server.
2013-11-13 Tim PierceMerge branch 'master' of git.clinicalfuture.com:arvados
2013-11-12 Ward VandewegeAdd docker image with workbench server.