chiark / gitweb /
doxygen: <hr> is a block element.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 29 Dec 2018 23:30:11 +0000 (00:30 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 30 Dec 2018 00:08:44 +0000 (01:08 +0100)
commite06ec35118db706d351a250a90c10083a07a2c6f
tree0cc97a64b4664840f129d36346ac7333d1f57b94
parent429a5fed1fb99a12f2b22fb61ad6f04254995022
doxygen: <hr> is a block element.

Also remove a comment and check that made sense before suupport for <hr>
was added.
doxygen/dox2html5.py