updated coding style on character encoding, etc.
tlyu at MIT.EDU
Wed Oct 13 09:36:49 EDT 2010
I added what I hope is an uncontroversial rule to our coding style to
require UTF-8 encoding and to avoid characters outside US-ASCII except
for uses like spelling proper names.
This was motivated by doing some copyright notice cleanup and
observing some inconsistent character encodings (ISO-8859-1 vs UTF-8
for some proper names, curly quotation marks, etc.) while doing so.
More information about the krbdev