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	The original web GUI for the jsdebugger from contributor mmayfield45. I only removed the jquery demo directory and added some licensing information. This is for an older version of the debuggers server-side part, so it doesn't work anymore. The required modifications will be committed soon. Refs #410	2013-03-07 14:27:34 +00:00
jquery.easyui	My modifications to the jsdebugger's web GUI. Adds a few features and makes it compatible with the current server-side code. Closes #410	2013-03-07 14:41:03 +00:00
jquery-1.8.3.min.js	The original web GUI for the jsdebugger from contributor mmayfield45. I only removed the jquery demo directory and added some licensing information. This is for an older version of the debuggers server-side part, so it doesn't work anymore. The required modifications will be committed soon. Refs #410	2013-03-07 14:27:34 +00:00