Commit Graph

3 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
0738f76dac pull themes from the marketplace 2021-01-12 20:46:44 +01:00
Joao Moreno
a3622c8f5e bad casing 2018-03-05 12:42:06 +01:00