Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / extra / automata / 
treee2195e4bb2a5414dc9ce70a869a73b05f0c34e41
drwxr-xr-x   ..
-rw-r--r-- 16 authors.txt
-rw-r--r-- 2670 automata.factor
-rw-r--r-- 56 summary.txt
drwxr-xr-x - ui