Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / core / syntax / 
treeb2645f82d80829a927ab03563f6b711b27881e61
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 23 summary.txt
-rw-r--r-- 37976 syntax-docs.factor
-rw-r--r-- 6697 syntax.factor