Skip to content
GitLab
Explore
Sign in
Resolve "Display highlighting bug"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Miha Lenko
requested to merge
5-display-highlighting-bug
into
v1.2.0-dev
Mar 29, 2024
Overview
0
Commits
1
Changes
3
Expand
Closes
#5 (closed)
Merge request reports