Merge pull request #1209 from jwillemsen/jwi-doxygen2
commit53ac0545ce37c867745c618a29eb6f82b538fc8a
authorJohnny Willemsen <jwillemsen@remedy.nl>
Thu, 20 Aug 2020 16:29:29 +0000 (20 18:29 +0200)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 16:29:29 +0000 (20 18:29 +0200)
treef46e5ffeb8d83fb6a2d3c43be8c1ae999f2901a3
parent57ecd9fd7216a7fbdd09c54b5ff32a2b03dc0fa6
parentc61b0db31cda9725e27e512b8a847651fb7708d0
Merge pull request #1209 from jwillemsen/jwi-doxygen2

Upgrade doxygen files to latest doxygen version