diff options
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 458fd2448..dbdc1ce05 100644 --- a/lockfile.json +++ b/lockfile.json @@ -195,7 +195,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "2d5f17ebd12650bee06d4fb4333a205b0699ac40" + "revision": "da49fb3cc373424d2821650007884cb8760c5ca5" }, "ledger": { "revision": "47b8971448ce5e9abac865f450c1b14fb3b6eee9" |