diff options
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 86952fa1..10c7e235 100644 --- a/lockfile.json +++ b/lockfile.json @@ -174,7 +174,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "3b370b5ca3948312738b4f27b2a12e4bb58907a2" + "revision": "23463ca6b867e8089d3b680ad720dc8fd26af34e" }, "ledger": { "revision": "1050a25df55a62878102d10e524b5184b316b7ad" |