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