Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / extra / lint / 
tree07c34484f8ebde8a4a96e045e37adc4d754771ad
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 367 lint-tests.factor
-rw-r--r-- 4665 lint.factor
-rwxr-xr-x 33 summary.txt