4233: bug fix - rounding errors were causing us to miss maxima scrolling off the...
[arvados.git] / doc / js /
drwxr-xr-x   ..
-rw-r--r-- 55244 bootstrap.js
-rw-r--r-- 29097 bootstrap.min.js
-rw-r--r-- 92629 jquery.min.js