Skip to content
GitLab
Explore
Sign in
Register
Check for errors in html files
Code
Review changes
Check out branch
Download
Patches
Plain diff
Mark Andrews
requested to merge
marka-xmllint-html
into
main
Jul 02, 2021
Overview
1
Commits
1
Pipelines
3
Changes
3
Expand
xmllint doesn't know about the HTML 5 <section> tag so filter those out.
Edited
Jul 02, 2021
by
Mark Andrews
Merge request reports