Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / core / make / 
treeef920d6cc65317f78ad30bd0091570dcc8c8ccd3
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 1553 make-docs.factor
-rw-r--r-- 424 make.factor
-rw-r--r-- 30 summary.txt
-rw-r--r-- 12 tags.txt