/tools/gui/resources/web/

• ../
• definitions.js
• favicon.ico
• index.html
• jquery-3.1.1.min.js
• main.js
• styles.css