Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / unmaintained / obj / misc / 
tree3827d7714b7e25b08a3d5ab5fc2f905723f146fa
drwxr-xr-x   ..
-rw-r--r-- 172 misc.factor