Skip to content
GitLab
Explore
Sign in
GNOME
gtksourceview
Merge requests
!33
[html.lang] Various updates
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jeffery To
requested to merge
jefferyto/gtksourceview:html-updates
into
master
Nov 12, 2018
Overview
2
Commits
3
Pipelines
0
Changes
2
Expand
These are some more changes that bring HTML highlighting more in line with specs.
Merge request reports