Merge branch '3781-browser-friendly-servers' refs #3781

[arvados.git] / apps / workbench / app / assets / javascripts / application.js

diff --git a/apps/workbench/app/assets/javascripts/application.js b/apps/workbench/app/assets/javascripts/application.js
index c39df6348862591aaf63df2b69b81724955c5bcc..796053b8cd3b4de8dd3205cee5ef5642f000da67 100644 (file)
--- a/apps/workbench/app/assets/javascripts/application.js
+++ b/apps/workbench/app/assets/javascripts/application.js
@@ -25,6 +25,7 @@
 //= require wiselinks
 //= require raphael
 //= require morris
+//= require jquery.number.min
 //= require_tree .
 
 jQuery(function($){