tree 591f618a71fbcb06e97e5374f1ce675c1ac66005
parent ae7639dbfb743f613fe92da1ed72216a49cccf1a
author Jack Jansen <jack.jansen@cwi.nl> 1019559164 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1019559164 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4026600

There was a non-ascii character in the source. Replaced by a hex escape.