chiark / gitweb /
doxygen: properly fill error message placeholder.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 4 Nov 2018 10:14:26 +0000 (11:14 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 4 Nov 2018 12:00:03 +0000 (13:00 +0100)
commit9cca33c3bdf7ccf2068e99f44016e6882089294d
treea4f6424d5154214bcc1b3a809526690a7eb9f0e7
parent38cb2e8884e3ffd73355d2ed4d68cef461275d9d
doxygen: properly fill error message placeholder.
doxygen/dox2html5.py