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 |
|
Martin Aeschlimann
|
74c270e887
|
update grammars
|
2018-07-23 20:34:08 +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 |
|