doxy: convert <pre> to Markdown ~~~
authordberzano <dario.berzano@cern.ch>
Thu, 11 Dec 2014 11:23:43 +0000 (12:23 +0100)
committerdberzano <dario.berzano@cern.ch>
Fri, 9 Jan 2015 15:01:09 +0000 (16:01 +0100)
commit35b193b453a046e5a5dfb0acf982699153966551
tree11de06b330c20a4c0e38b70ed544b9990af379c0
parent03a6b7aa764f593e22d54a43153cee494c8c6087
doxy: convert <pre> to Markdown ~~~

Doxygen understands <pre> correctly (as it supports HTML), but code
blocks rendered with ~~~ are rendered with a different style.
doxygen/thtml2doxy.py