help.lint: remove old word.
parent
d44cc17161
commit
5726da1285
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue