Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / basis / match / 
treedda95d485feb2ab9772b258d16e4d39d8bab20ae
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-- 2587 match.factor
-rw-r--r-- 26 summary.txt
-rw-r--r-- 11 tags.txt