chiark / gitweb /
cgi.py: Remove defunct `html' function.