support <HTML>, remove <HEADER>

This commit is contained in:
Guido van Rossum 1995-06-22 18:46:12 +00:00
parent 0daa13b188
commit 2d95706f68

View file

@ -98,10 +98,9 @@ def end_a(self):
self.handle_data('[' + `self.inanchor` + ']')
self.inanchor = 0
#
def start_header(self, attrs): pass
def end_header(self): pass
def start_html(self, attrs): pass
def end_html(self): pass
#
# (head is the same as header)
def start_head(self, attrs): pass
def end_head(self): pass
#