Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / unmaintained / geom / rect / 
tree2b92a890289925d7490fa54880a0a53124d18317
drwxr-xr-x   ..
-rwxr-xr-x 16 authors.txt
-rw-r--r-- 912 rect.factor