Skip to content
GitLab
Explore
Sign in
Resolve "Add option to configure extra marks for personal notes"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jonathan Weth
requested to merge
85-add-option-to-configure-extra-marks-for-personal-notes
into
master
Jul 12, 2020
Overview
14
Commits
12
Pipelines
6
Changes
18
Expand
Closes
#85 (closed)
Edited
Jul 14, 2020
by
Jonathan Weth
Merge request reports
Loading