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 /language-web/src/main/images/warning_an.gif | |
| 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 'language-web/src/main/images/warning_an.gif')
| -rw-r--r-- | language-web/src/main/images/warning_an.gif | bin | 522 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/language-web/src/main/images/warning_an.gif b/language-web/src/main/images/warning_an.gif deleted file mode 100644 index 9ef66dd7..00000000 --- a/language-web/src/main/images/warning_an.gif +++ /dev/null | |||
| Binary files differ | |||
