v0.15.5
riccardoferretti
released this
15 Nov 21:18
·
415 commits
to master
since this release
Fixes and Improvements:
- Major improvement in navigation. Use link definitions and link references (#821 - thanks @JonasSprenger )
- Fixed bug showing in hover reference the same more than once when it had multiple links to another (#822)
Internal: