Update parsers: awk, tiger

This commit is contained in:
GitHub 2023-04-02 06:35:24 +00:00 committed by Christian Clason
parent 06075ecd04
commit cbfa7cae1b

View file

@ -12,7 +12,7 @@
"revision": "a1f66bf72ed68b87f779bce9a52e5c6521fc867e"
},
"awk": {
"revision": "b8e81f62109e65adca1ab51ab9d414411db5a37f"
"revision": "8eaa762d05cc67c0e2cc53a0a71750b3c16733c2"
},
"bash": {
"revision": "b338fa9f4807b9e0336cd4dde04948a8c324a4cf"
@ -477,7 +477,7 @@
"revision": "d4deb1bd9e848f2dbe81103a151d99e8546de480"
},
"tiger": {
"revision": "a233ebe360a73a92c50978e5c4e9e471bc59ff42"
"revision": "4a099243ed68a4fc72fdad8ea3ce57ec411ebfe3"
},
"tlaplus": {
"revision": "7ba226cf85280c7917d082940022006e6a3b7b6f"