John Benediktsson da8a378b38 ui.tools.error-list: changing icons from tiff to png.		2020-05-21 17:31:41 -07:00
..
checks	help.lint.checks: Ignore linux-monitors as not real leaks.	2018-07-07 17:32:06 -05:00
spaces	help.lint.spaces: new vocab	2017-06-05 13:16:07 -07:00
authors.txt	…
lint-docs.factor	…
lint.factor	ui.tools.error-list: changing icons from tiff to png.	2020-05-21 17:31:41 -07:00
summary.txt	…
tags.txt	…