global/
images/
otree/
video/
exporting.js
highcharts.js
jquery-1.12.4.js
jquery-ui-slider-pips.css
jquery-ui-slider-pips.js
jquery-ui.css
jquery-ui.js
series-label.js