diff options
| author | Andrew Helwer <ahelwer@protonmail.com> | 2021-08-18 12:48:01 -0400 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2021-08-20 18:56:14 +0200 |
| commit | da2336ea80d4d2353fb9ee8301f1ef853c14f917 (patch) | |
| tree | 4639d8398a5b50b5a0275df77899ec754a7cbfc2 /plugin | |
| parent | 955f19c64a9c7d395a856ce29d82775278d5e5ef (diff) | |
Added TLA+ grammar & queries
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions