Skip to content
GitLab
Explore
Sign in
Register
Resolve "Same font in match text and matches"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Tettenborn
requested to merge
194-same-font-in-match-text-and-matches
into
development
Mar 19, 2021
Overview
0
Commits
2
Pipelines
0
Changes
1
Expand
Related to
#194 (closed)
Edited
Mar 19, 2021
by
Simon Tettenborn
Merge request reports
Loading