From: Godmar Back (gback@cs.utah.edu)
Date: Tue Dec 01 1998 - 18:44:01 EST
"file.encoding.pkg" is set to "kaffe.io", but
"file.encoding" is not set --- should that by set to
"Default" or something?
- Godmar
This archive was generated by hypermail 2b29 : Sat Sep 23 2000 - 19:57:04 EDT