Commit Graph

6 Commits

Author SHA1 Message Date
João Moreno
c3b556727e fix update-grammars script 2021-02-02 12:30:08 +01:00
João Moreno
3b03189afa Restore extensions in core (#114921)
* bring back grammar extensions

* fix hygiene

* Revert "pull themes from the marketplace"

This reverts commit 0738f76dac.
2021-01-25 17:07:56 +01:00
João Moreno
bc7d3c9ea6 remove grammar extensions 2021-01-15 12:35:17 +01:00
ChaseKnowlden
e8760a5d6c Fix capitalization of GitHub org 2020-09-17 11:43:03 +02:00
Martin Aeschlimann
0e87ea1c5e jsonc strings are wrong color. Fixes #53010 2018-06-27 14:34:51 +02:00
Martin Aeschlimann
7f56f200c1 Separate grammar for jsonc (fixes #42539) 2018-06-25 23:30:06 +02:00