Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / core / kernel / 
tree959878345008ec676c399eb317d5a3dc761a5dc6
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
-rw-r--r-- 47826 kernel-docs.factor
-rw-r--r-- 3949 kernel-tests.factor
-rw-r--r-- 5332 kernel.factor
-rw-r--r-- 45 summary.txt