diff options
| author | GitHub <noreply@github.com> | 2022-07-07 22:29:18 +0000 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-07-08 00:33:05 +0200 |
| commit | 57d184587c0c5f4ea0784ee92093926ba93bbd1d (patch) | |
| tree | 32e86f896207c9bc6c540b8984d9fc6d3fc2db58 /lockfile.json | |
| parent | 8bc4d046e7eb6cc0e552970a7f031b8999e797f6 (diff) | |
Update lockfile.json
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index a91d42d1..b3a84d50 100644 --- a/lockfile.json +++ b/lockfile.json @@ -318,7 +318,7 @@ "revision": "eb1d3714998977ae76ca7c6a102b10ee37efc2b5" }, "tlaplus": { - "revision": "dde405e5128c3c47ab8aa014d21b6e5296ca450f" + "revision": "619cfb34f4e0154120a227dac2ba0f55273812cc" }, "todotxt": { "revision": "0207f6a4ab6aeafc4b091914d31d8235049a2578" |