Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / unmaintained / jamshred / game / 
treeb5c2d3c3698be3f45ba3f91597a254f30666e194
drwxr-xr-x   ..
-rwxr-xr-x 13 authors.txt
-rw-r--r-- 1215 game.factor