]> gitweb.factorcode.org Git - factor.git/commit
extra/lint: Removed dup -rot -> tuck entry from manual-substitution table
authorotoburb <otoburb@gmail.com>
Sun, 6 Nov 2011 05:34:21 +0000 (01:34 -0400)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 6 Aug 2012 03:32:58 +0000 (20:32 -0700)
commitf983458f8a1b85d7ea11b24bc49c8aad3524f73c
tree858541c3e60eb0249715bff6e351014cdc381d4a
parent676cc182159ecc9f1110d76a74e727e390a6dacf
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
extra/lint/lint.factor