mirror of
https://github.com/cuberite/polarssl.git
synced 2025-11-19 04:22:19 -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.