makemainpage should call html_header() not header()
authorDon Armstrong <don@donarmstrong.com>
Sun, 25 Jan 2015 06:16:11 +0000 (22:16 -0800)
committerDon Armstrong <don@donarmstrong.com>
Sun, 25 Jan 2015 06:16:11 +0000 (22:16 -0800)
commit41bd18b416d9222f8c40023b01517c5101faebfe
treec426edd8e001246731dde76c94b079dcc62b1c90
parent84de17e9662d4356e22b527b1eab62f39f33c486
makemainpage should call html_header() not header()
dohtml