]> gitweb.factorcode.org Git - factor.git/commit
lint: filter a bit better.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 17 Oct 2011 02:32:16 +0000 (19:32 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 17 Oct 2011 02:32:16 +0000 (19:32 -0700)
commit45aeea52ce6d1ed184ead800663f3959e71b078a
tree199ab86fe4385257f68bf244b48c58e34c44f532
parent470e0be3e1cc96def1c9a935295323eea521dec3
lint: filter a bit better.
extra/lint/lint.factor