chiark / gitweb /
use utf-8 as default encoding for config.py