8 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 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	d6af4893ed	Update grammars	2020-11-05 14:53:33 +01:00
ChaseKnowlden	e8760a5d6c	Fix capitalization of GitHub org	2020-09-17 11:43:03 +02:00
Alex Ross	a0bc43dd73	Update grammars	2019-10-21 11:21:03 +02:00
Orta Therox	a89b72bf63	Fix hardcoded lower case S issues for JS/TS only for presentation-ish strinngs	2019-09-12 09:58:03 -04:00
Martin Aeschlimann	8fdf170a08	update grammar script: remove unused properties	2018-02-12 16:54:46 +01:00
Martin Aeschlimann	164e6d4bbc	[json] grammar update script for new repo	2017-08-08 16:45:48 +02:00