]> gitweb.factorcode.org Git - factor.git/commit
remove some trivial definitions from lint
authorDoug Coleman <doug.coleman@gmail.com>
Sun, 7 Dec 2008 23:22:05 +0000 (17:22 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 7 Dec 2008 23:22:05 +0000 (17:22 -0600)
commitce00c953847e8680158882209acade3e13735d02
tree042a3b321a131ba028c5fcc16e7f061d0d6ad9ac
parentad4729712c46327d566b3bea3d9d226fad264602
remove some trivial definitions from lint
extra/lint/lint.factor