]> gitweb.factorcode.org Git - factor.git/commit
move lint from unmaintained to extra
authorDoug Coleman <doug.coleman@gmail.com>
Sun, 7 Dec 2008 07:55:19 +0000 (01:55 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 7 Dec 2008 07:55:19 +0000 (01:55 -0600)
commit0712db3a276200ae1bd4631d1fa3284e56b21835
treeeab9d55a4884676535a53ae89c7d285aa9ff11ff
parent1e53cf6c9f3572b231ce6eea3dab2df6e6c00acc
move lint from unmaintained to extra
extra/lint/authors.txt [new file with mode: 0644]
extra/lint/lint-tests.factor [new file with mode: 0644]
extra/lint/lint.factor [new file with mode: 0644]
extra/lint/summary.txt [new file with mode: 0755]
unmaintained/lint/authors.txt [deleted file]
unmaintained/lint/lint-tests.factor [deleted file]
unmaintained/lint/lint.factor [deleted file]
unmaintained/lint/summary.txt [deleted file]