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
..
black	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
bootstrap	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
default	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
gray	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
icons	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
metro	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
icon.css	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