chiark / gitweb /
(Python): Use more modern `raise' syntax.