Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / unmaintained / x / 
treee40db5ffd87bb061098d7f16ca461ec649889dcd
drwxr-xr-x   ..
-rw-r--r-- 16 authors.txt
drwxr-xr-x - font
drwxr-xr-x - gc
drwxr-xr-x - keysym-table
drwxr-xr-x - pen
drwxr-xr-x - widgets
-rw-r--r-- 13659 x.factor