Yves d892e1887a My modifications to the jsdebugger's web GUI. Adds a few features and makes it compatible with the current server-side code. Closes #410 ...

This was SVN commit r13240.

2013-03-07 14:41:03 +00:00

..

ace

…

jquery.easyui

…

jquery-1.8.3.min.js

…