Commit a9145c75f65437c6238e6d5a00dcb7a1bc93634c

Paul Eggert 2004-08-09T21:11:34

Switch to UTF-8 encoding.