summaryrefslogtreecommitdiff
path: root/lockfile.json
diff options
context:
space:
mode:
authorAndrew Helwer <ahelwer@protonmail.com>2022-07-13 13:43:50 -0400
committerStephan Seitz <stephan.seitz@fau.de>2022-07-13 21:33:45 +0200
commitb46cb0389d92abffa516be487e7ea0610e8ce35b (patch)
tree90ec2d68391aa1ee278e5d5027c2e8f69c13a0c5 /lockfile.json
parent91725df58155d47c5b65cd4847d0ccac86d39cac (diff)
Updated queries and parser version
Diffstat (limited to 'lockfile.json')
-rw-r--r--lockfile.json2
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json
index 6689d1e0..2ef0daa8 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -318,7 +318,7 @@
"revision": "eb1d3714998977ae76ca7c6a102b10ee37efc2b5"
},
"tlaplus": {
- "revision": "619cfb34f4e0154120a227dac2ba0f55273812cc"
+ "revision": "6afb6c191ae60c35c1337ddc424ebd748019f305"
},
"todotxt": {
"revision": "0207f6a4ab6aeafc4b091914d31d8235049a2578"