Update parsers: tlaplus

This commit is contained in:
GitHub 2022-12-27 16:53:19 +00:00 committed by Christian Clason
parent 41e013dd9a
commit fb36ed4c9e

View file

@ -378,7 +378,7 @@
"revision": "a233ebe360a73a92c50978e5c4e9e471bc59ff42"
},
"tlaplus": {
"revision": "27e6d238a5708b0490f43351f6e0baeaab4c9c1f"
"revision": "f2ad7272d145598ff2d27fda15379d26aa33a7e1"
},
"todotxt": {
"revision": "0207f6a4ab6aeafc4b091914d31d8235049a2578"