Skip to content
GitLab
Explore
Sign in
Change initialization of line number margin
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jorge Camarero Vera
requested to merge
change-line-number-margin-initialization
into
master
Mar 27, 2020
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
see:
https://its.cern.ch/jira/browse/SUS-1653
Merge request reports