indents added new language highlights added (#5777)

This commit is contained in:
r001 2023-12-10 11:16:24 +04:00 committed by GitHub
parent 7958ff9ec7
commit b6b9ca448b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 36 additions and 1 deletions

View file

@ -336,7 +336,7 @@
"revision": "8a841fb20ce683bfbb3469e6ba67f2851cfdf94a"
},
"leo": {
"revision": "23a9534d09d523d0dcee7dbf89e7c819e6835f6f"
"revision": "304611b5eaf53aca07459a0a03803b83b6dfd3b3"
},
"linkerscript": {
"revision": "f99011a3554213b654985a4b0a65b3b032ec4621"