mirror of
https://github.com/cuberite/polarssl.git
synced 2025-11-04 20:57:34 -05:00
Doxygen 1.8.10 warns that those tags are obsolete. Since we're not generating XML anyway, it seems harmless to remove them even for earlier versions.