John Benediktsson bfbab98d57 ui.tools.browser: remove spacer for right now... ... ...until we have the text-within-empty-label thing fixed it gives us a little more space to type into.		2015-08-16 10:22:11 -07:00
..
browser	ui.tools.browser: remove spacer for right now...	2015-08-16 10:22:11 -07:00
common	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
debugger	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
deploy	Fixed USING in slots and deploy	2015-08-16 07:53:33 -07:00
error-list	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
inspector	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
listener	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
operations	parser, source-files: you need to bootstrap after this patch.	2015-07-23 22:03:43 -07:00
traceback	ui.gadgets.colors moved to ui.gadgets.theme	2015-08-16 07:53:33 -07:00
walker	ui.tools.walker: improved status text	2015-08-16 07:54:45 -07:00
authors.txt	…
summary.txt	…
tags.txt	…
tools-docs.factor	…
tools.factor	…