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