2014-07-24 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | tree | commitdiff |
2014-07-22 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | tree | commitdiff |
2014-07-19 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | tree | commitdiff |
2014-07-19 | Ward Vandewege | * Add shell node to docker installation. | tree | commitdiff |