set local encoding

(Obsolete after 20061012.) You may also decide to use Lino's setlocalencoding() method by calling it from your sitecustomize.py:

import site
site.addsitedir(r"c:\snapshots\lino\src")
from lino.customize import setlocalencoding
setlocalencoding()