]> git.arvados.org - arvados.git/history - apps/workbench/app/assets/javascripts/sessions.js.coffee
Merge branch 'master' into 2187-enhance-user-setup
[arvados.git] / apps / workbench / app / assets / javascripts / sessions.js.coffee
2013-04-10 Tom Cleggrename explorer -> workbench