]> gitweb.factorcode.org Git - factor.git/commit
turn off auto-use when using help-lint
authorDoug Coleman <erg@jobim.local>
Fri, 19 Jun 2009 00:34:56 +0000 (19:34 -0500)
committerDoug Coleman <erg@jobim.local>
Fri, 19 Jun 2009 00:34:56 +0000 (19:34 -0500)
commitf1bf5db9ed8c63563bab56b1583e097f8860fc97
tree284e3ad37dacaf29d5265d6bf027f1324d9c7f9d
parent03b8e1b7561ddf53c9e035df46eb7169a786743e
turn off auto-use when using help-lint
basis/help/lint/lint.factor