]> gitweb.factorcode.org Git - factor.git/commit
lint: some more trivial-defs.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 4 Jun 2014 16:10:23 +0000 (09:10 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 4 Jun 2014 16:10:23 +0000 (09:10 -0700)
commit27d929b8e553625d8df5e2f75fcf56c8dee51338
tree02e8a0a65004cb1646e588bc299a5ffa3ad8a2f5
parentc04db38570057528846209ae5b55c263a15aa15f
lint: some more trivial-defs.
extra/lint/lint.factor