2014-07-30 | radhika | Merge branch 'master' into 2985-selection-button-move... | blob | commitdiff | raw |
2014-07-29 | Ward Vandewege | Merge branch '3219-further-docker-improvements' | blob | commitdiff | raw |
2014-07-29 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | blob | commitdiff | raw |
2014-07-28 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | blob | commitdiff | raw |
2014-07-24 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | blob | commitdiff | raw |
2014-07-22 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | blob | commitdiff | raw |
2014-07-19 | Ward Vandewege | Merge branch 'master' into 3219-further-docker-improvements | blob | commitdiff | raw |
2014-07-19 | Ward Vandewege | * Add shell node to docker installation. | blob | commitdiff | raw |