Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / basis / match / 
tree863aec8968428061a20ce4ab5ed97476564510bb
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 3855 match-docs.factor
-rw-r--r-- 1289 match-tests.factor
-rw-r--r-- 2577 match.factor
-rw-r--r-- 26 summary.txt
-rw-r--r-- 11 tags.txt