Slava Pestov dad26f373e ui.tools.error-list: smaller default size		2010-04-13 06:16:45 -07:00
..
icons	…
authors.txt	…
error-list-docs.factor	…
error-list.factor	ui.tools.error-list: smaller default size	2010-04-13 06:16:45 -07:00