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