projects / arvados.git / blobdiff
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
15803: Adjust workbench1 user panel to promote setup/unsetup buttons
[arvados.git] / apps / workbench / npm_packages
diff --git a/apps/workbench/npm_packages b/apps/workbench/npm_packages
index 64f58ac4686f4686eccc18854bfc9da6a91d7432..7c757db35bdc6cf0ff72094a6ad285701ba02a0e 100644 (file)
--- a/apps/workbench/npm_packages
+++ b/apps/workbench/npm_packages
@@ -10,5 +10,5 @@ npm 'jquery'
 npm 'awesomplete'
 npm 'jssha'
 
-npm 'mithril'
+npm 'mithril', '1.1.6'
 npm 'es6-object-assign'