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

This commit is contained in:
alstr 2021-08-07 09:17:30 +01:00
commit 0db9bdffa1

View File

@ -399,7 +399,7 @@
] ]
}, },
{ {
"language": " TeX", "language": "TeX",
"markers": [ "markers": [
{ {
"type": "line", "type": "line",