diff options
| author | GitHub <noreply@github.com> | 2022-04-23 13:50:48 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-04-23 16:04:51 +0200 |
| commit | 909b5d26fddad5043e354046571e7c7353b53b61 (patch) | |
| tree | ec45ba27841f578b5cec395e1eddade0107239d3 /lockfile.json | |
| parent | 6d072a6e546e4fb84520fe46e920c46bbe7a4038 (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 633c4472..5c267999 100644 --- a/lockfile.json +++ b/lockfile.json @@ -168,7 +168,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "e550c23486b166cf93d7f063c96306b568737985" + "revision": "8c5d90e78fa58ee6acab465ffa9a53e8b7b2c69c" }, "ledger": { "revision": "1050a25df55a62878102d10e524b5184b316b7ad" |