[Doxygen-develop] <hr> patch

[Francesco M. <f18...@ya...>]

Hi,
    while looking at doxygen docs I've noticed a small defect in the command 
listing page: some <hr> are missing...

I've added them and I'm attaching the patch...

Happy new year!
Francesco