Skip to content
GitLab
Explore
Sign in
Education
Rocs
Commits
6bd987e9
Commit
6bd987e9
authored
Aug 08, 2022
by
Bruno Carmo Nunes
Committed by
Nicolas Fella
Aug 08, 2022
Browse files
Fix identifier color conflicts with current desktop theme
(cherry picked from commit
ea962ed8
)
parent
4e92407a
Pipeline
#214985
passed with stage
in 2 minutes and 26 seconds
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Preview
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment