Skip to content

#31: Gutter navigation is now not displayed when it shouldn't

Andret2344 requested to merge issue/#31 into main

Closes #31 (closed)

Merge request reports