Skip to content
GitLab
Explore
Sign in
Education
Marble
Commits
78828b84
Commit
78828b84
authored
Jan 07, 2017
by
Dennis Nienhüser
Browse files
Reduce chance to accidentially hide bookmarks in the menu
parent
35d8a2b2
Changes
1
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment