diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-10-31 19:41:24 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2021-10-31 19:41:24 +0100 |
| commit | 7918d78948de7f349f9948837caf76f2a514c96c (patch) | |
| tree | 0f7c24a9e0046dffd719d6a66be4a1f73b7fa4c7 /.gitattributes | |
| parent | Merge pull request #7 from golej-marci/language-to-store (diff) | |
| parent | chore: bump dependency versions (diff) | |
| download | refinery-7918d78948de7f349f9948837caf76f2a514c96c.tar.gz refinery-7918d78948de7f349f9948837caf76f2a514c96c.tar.zst refinery-7918d78948de7f349f9948837caf76f2a514c96c.zip | |
Merge pull request #8 from kris7t/cm6
Switch to CodeMirror 6 editor and WebSocket-based transport for Xtext
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions