João Moreno
3b03189afa
Restore extensions in core ( #114921 )
...
* bring back grammar extensions
* fix hygiene
* Revert "pull themes from the marketplace"
This reverts commit 0738f76daca6fb1a4693c7fbc08ea93814c00d39.
2021-01-25 17:07:56 +01:00
João Moreno
bc7d3c9ea6
remove grammar extensions
2021-01-15 12:35:17 +01:00
Alex Ross
4301777727
Update grammars
2020-12-14 15:50:30 +01:00
Alex Ross
f474fcb271
update-grammars
2020-04-06 13:29:57 +02:00
Alex Ross
2f6da279c7
Update grammars
2020-03-03 16:20:05 +01:00
Alex Ross
a0bc43dd73
Update grammars
2019-10-21 11:21:03 +02:00
Alex Ross
edf34d3931
Update grammars
2019-08-05 12:44:23 +02:00
Alex Ross
96410ff870
Update grammars
2019-06-03 12:01:42 +02:00
Alex Ross
45db52ba6b
Update grammars
2019-05-16 10:17:43 -07:00
Alex Ross
6c6cd0aab4
Update grammars
2018-12-12 17:25:07 +01:00
Alex Ross
c71f524777
Updated grammars
2018-11-06 11:39:33 +01:00
Alex Ross
fd8d4b09e1
Update grammars
2018-10-23 16:13:27 +02:00
Martin Aeschlimann
10a1d2a50a
update grammars
2018-10-04 12:00:39 +02:00
Martin Aeschlimann
74c270e887
update grammars
2018-07-23 20:34:08 +02:00
Martin Aeschlimann
772aaf777a
update grammars
2018-06-11 13:03:28 +02: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
69729b7841
[fsharp] make grammar file name consistent
2018-02-09 12:45:27 +01:00