Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / core / definitions / 
treea8e9df3e3329cb13d0e03554c301c05915db1023
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 6309 definitions-docs.factor
-rw-r--r-- 529 definitions-tests.factor
-rw-r--r-- 1957 definitions.factor
-rw-r--r-- 42 summary.txt
-rw-r--r-- 17 tags.txt