chiark / gitweb /
get rid of unicode arrows, since the linux console cannot show them, not even in...