Merge branch 'master' of git.curoverse.com:arvados into 2638-add-cache-age-disk-usage...

[arvados.git] / apps / workbench / app / views / layouts / application.html.erb

diff --git a/apps/workbench/app/views/layouts/application.html.erb b/apps/workbench/app/views/layouts/application.html.erb
index 7582ec7e2419ae8ecd90d2e144a27ff9c9aa6f77..2b5ec88fc62bb71ce9919e777603e5e8b47cd596 100644 (file)
--- a/apps/workbench/app/views/layouts/application.html.erb
+++ b/apps/workbench/app/views/layouts/application.html.erb
@@ -102,7 +102,7 @@
                 <i class="fa fa-lg fa-code-fork fa-fw"></i> Repositories
             </a></li>
             <li><a href="/virtual_machines">
-                <i class="fa fa-lg fa-cloud fa-fw"></i> Virtual machines
+                <i class="fa fa-lg fa-terminal fa-fw"></i> Virtual machines
             </a></li>
             <li><a href="/humans">
                 <i class="fa fa-lg fa-male fa-fw"></i> Humans