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 /lockfile.json | |
| parent | 955f19c64a9c7d395a856ce29d82775278d5e5ef (diff) | |
Added TLA+ grammar & queries
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lockfile.json b/lockfile.json index 3a29bac8..b5d2521b 100644 --- a/lockfile.json +++ b/lockfile.json @@ -185,6 +185,9 @@ "teal": { "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4" }, + "tlaplus": { + "revision": "36e7863609f5fbb4b0e39b1a035f5b3245f974f6" + }, "toml": { "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e" }, |