Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / basis / prettyprint / config / 
tree52dcbe3f7af6a2f7b389ce73343062f1d8a42a7c
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 1328 config-docs.factor
-rw-r--r-- 431 config.factor
-rw-r--r-- 38 summary.txt