Skip to content
Commit 3550b0bb authored by Michael van der Kamp's avatar Michael van der Kamp Committed by Andreas Klöckner
Browse files

Tweak highlighting of variable labels 

Don't include space after ":" in label highlighting
parent 9b87884c
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment