Merge branch 'master' into 6279-web-shell-client
[arvados.git] / apps / workbench / public /
drwxr-xr-x   ..
-rw-r--r-- 728 404.html
-rw-r--r-- 711 422.html
-rw-r--r-- 643 500.html
-rw-r--r-- 347 browser_unsupported.js
-rw-r--r-- 126781 d3.v3.min.js
-rw-r--r-- 24838 favicon.ico
-rw-r--r-- 4361 graph-example.html
-rw-r--r-- 3115 keyboard.html
-rw-r--r-- 808 keyboard.png
-rw-r--r-- 0 robots.txt
-rw-r--r-- 188385 shell_in_a_box.js
-rw-r--r-- 7399 webshell_styles.css