Support for \cfg{input-charset}. Input files can now be in ASCII,
[sgt/halibut] / inputs /
drwxr-xr-x   ..
-rw-r--r-- 1084 errors.but
-rw-r--r-- 118 errors2.but
-rw-r--r-- 5878 test.but