otoburb/factor — pull request #1 by otoburb (2011-11-06 05:37:16+00:00)
Title: extra/lint: Removed dup -rot -> tuck entry from manual-substitution table

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