Merge pull request #4619 from annando/missing-doxygen
authorrabuzarus <rabuzarus@t-online.de>
Sat, 17 Mar 2018 09:47:03 +0000 (10:47 +0100)
committerGitHub <noreply@github.com>
Sat, 17 Mar 2018 09:47:03 +0000 (10:47 +0100)
commit0f9af5d193caa5425db55c7d538bdf84c66a010b
tree2a9ee6bfcec0346a2751d26723abd12b68243a44
parentbf0b98017decf73123891e935993f2921d3b0acf
parentcd2c9722b0a71c2634b063580ba963055c7e11b1
Merge pull request #4619 from annando/missing-doxygen

Added missing doxygen header