Commit Graph

7 Commits

Author SHA1 Message Date
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
Pine Wu
cf8d61ebd2 Fix #81943 2019-11-12 06:37:21 -08:00
Alex Ross
3f1f36333d Update grammars 2019-11-04 14:11:36 +01:00
Martin Aeschlimann
bf33900a41 update grammars. Fixes #49071 2018-05-03 17:11:41 +02:00
Martin Aeschlimann
8fdf170a08 update grammar script: remove unused properties 2018-02-12 16:54:46 +01:00
Martin Aeschlimann
3495363b2c make grammar file names consistent 2018-02-09 12:45:27 +01:00