otoburb f983458f8a extra/lint: Removed dup -rot -> tuck entry from manual-substitution table ... tuck is deprecated. load-all shows a warning in the UI Listener as per #347		2012-08-05 20:32:58 -07:00
..
authors.txt	Revive the lint tool	2011-10-14 01:39:46 -07:00
lint-tests.factor	lint: cleanup, deep compare, print clickable words.	2011-10-16 13:01:36 -07:00
lint.factor	extra/lint: Removed dup -rot -> tuck entry from manual-substitution table	2012-08-05 20:32:58 -07:00
summary.txt	Revive the lint tool	2011-10-14 01:39:46 -07:00