Merge remote-tracking branch 'origin/master' into morefiles

2019-12-18 15:23:01 -05:00
parent 021cd02963 8a999dde46
commit c8e328c847
29 changed files with 102 additions and 3 deletions
@@ -2,6 +2,10 @@
 ##

 syntax "XML" ".*\.([jrs]?html?|xml|sgml?|rng|mei|musicxml)$"
+header "<\?xml.*version=.*\?>"
+magic "(XML|SGML) (sub)?document"
+comment "<!--|-->"
+
 color white "^.+$"
 color green  start="<" end=">"
 color cyan   "<[^> ]+"