doxy: mark the end of comment blocks properly
authordberzano <dario.berzano@cern.ch>
Wed, 7 Jan 2015 15:15:48 +0000 (16:15 +0100)
committerdberzano <dario.berzano@cern.ch>
Fri, 9 Jan 2015 15:01:10 +0000 (16:01 +0100)
commitc0094f3c38e9fd9dbcfd13067cd383400d26407d
tree0905561b2c3763d26e9befa24021a7bc4c56594b
parent36e6bf88057807780f72f8d422a3c046882aff21
doxy: mark the end of comment blocks properly
doxygen/thtml2doxy.py