Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Privacy
Imprint
Contact
Sign in
Toggle navigation
Menu
ARSnova
arsnova-lite
Merge requests
!311
Set tooltips for comment markings to icons instead of disabled buttons
Code
Review changes
Check out branch
Download
Patches
Plain diff
Closed
Lukas Mauß
requested to merge
346-fix-comment-filter-sort-option-tooltips
into
master
Jul 17, 2019
Overview
1
Commits
0
Pipelines
1
Changes
0
Closes
#346 (closed)