Clean up some duplication
[factor/jcg.git] / extra / sequences / merged / 
treecb956f95c4322be67f7dfff82bc476196731cd4d
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 2795 merged-docs.factor
-rw-r--r-- 785 merged-tests.factor
-rw-r--r-- 727 merged.factor
-rw-r--r-- 63 summary.txt
-rw-r--r-- 12 tags.txt