diff options
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 c5120950f..4d258a099 100644 --- a/lockfile.json +++ b/lockfile.json @@ -150,7 +150,7 @@ "revision": "a4f71eb9b8c9b19ded3e0e9470be4b1b77c2b569" }, "latex": { - "revision": "6f796b700c69a8af28132e84ed6d0c8f0c17a5e2" + "revision": "f112e7ab87061a5338259d9773f917e55053b149" }, "ledger": { "revision": "0cdeb0e51411a3ba5493662952c3039de08939ca" |