/tools/gui/resources/web/
../
definitions.js
favicon.ico
highlight
index.html
jquery-3.1.1.min.js
main.js
styles.css