tree ce24c846289f9dd2dcddedcca1b2e29e3faf3340
parent 7a47cbca16d2779d0470f0a02d2c68bfc5536c75
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1451921252 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1536574308 +0200

Fix doxygen warnings about deprecated tags

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.