also fix some minor doxygen issuespull/869/head
parent
e36e2ff0a7
commit
84ec6341af
4 changed files with 5 additions and 6 deletions
Loading…
Reference in new issue