Skip to content

Merge pull request #158 from ls1intum/155-improve-minimap-collapse-ux… #79

Merge pull request #158 from ls1intum/155-improve-minimap-collapse-ux…

Merge pull request #158 from ls1intum/155-improve-minimap-collapse-ux… #79