Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / unmaintained / x / gc / 
treee39bd1d3174dd0b1f105927910f4b00a10d4253c
drwxr-xr-x   ..
-rwxr-xr-x 16 authors.txt
-rw-r--r-- 673 gc.factor