Shruti B Iyer 0d05385585 Update the styling to use the set of grays defined in the WIP style guide.		2017-06-07 13:57:49 +01:00
..
static/css	Prevent users selecting elements of the UI that shouldn't be selectable. Fixes #1976	2016-11-18 10:55:00 +00:00
templates/debugger	Update the styling to use the set of grays defined in the WIP style guide.	2017-06-07 13:57:49 +01:00
__init__.py	Prevent attempts to debug procedures with variadic arguments. Fixes #1466	2017-06-06 12:58:52 +01:00