Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / basis / documents / 
tree448001057941dde88ac4fd90205ef4793a46c70d
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 8147 documents-docs.factor
-rw-r--r-- 2798 documents-tests.factor
-rw-r--r-- 5879 documents.factor
-rw-r--r-- 75 summary.txt