4 Commits (52f437953d5fdc6375d3396fb2c462152833df04)

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
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