John Benediktsson fa31902975 ui.tools.error-list: adding table header emphasis.		2020-02-19 21:47:01 -08:00
..
icons	…
authors.txt	…
error-list-docs.factor	ui.tools.error-list: adding table header emphasis.	2020-02-19 21:47:01 -08:00
error-list.factor	ui.gadgets.labeled: make <labeled-gadget> not take a color.	2018-02-11 09:53:48 -08:00