]> gitweb.factorcode.org Git - factor.git/commitdiff
help.lint: remove old word.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Aug 2013 19:21:16 +0000 (12:21 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Aug 2013 19:21:16 +0000 (12:21 -0700)
basis/help/lint/lint.factor

index 3bf84c6703908b7a77723ae2b8c5fea6e9b8623d..7e8c2e8c94d3f097782dd0b62a941312e43d7237 100644 (file)
@@ -53,7 +53,6 @@ PRIVATE>
                 [ check-values ]
                 [ check-value-effects ]
                 [ check-class-description ]
-                [ check-class-slots ]
                 [ nip [ check-nulls ] [ check-see-also ] [ check-markup ] tri ]
             } 2cleave
         ] check-something