diff options
| author | Jimmy Zelinskie | 2024-02-12 01:28:52 +0000 |
|---|---|---|
| committer | GitHub | 2024-02-12 01:28:52 +0000 |
| commit | d9f7aaacaf65272dfce092954ec49a78961e8112 (patch) | |
| tree | 780f6885391b872fed90617c380258f87c093a87 /runtime/themes | |
| parent | 7d8ce1a4000939bb1d1e0a67277f7733735607c7 (diff) | |
languages: add CEL, SpiceDB schema language (#9296)
* languages: add CEL language and grammar
* languages: add spicedb schema language
* chore: docgen
* runtime/queries: refine spicedb & cel highlights
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
* languages: update spicedb
---------
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'runtime/themes')
0 files changed, 0 insertions, 0 deletions