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 bf2c1188..c7687a79 100644 --- a/lockfile.json +++ b/lockfile.json @@ -156,7 +156,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "1666e9780de42a31b1376d32fbe8332e8dd5850f" + "revision": "1ea9f87d30df20e13cde292ff4d6c4d8dd979b16" }, "ledger": { "revision": "0cdeb0e51411a3ba5493662952c3039de08939ca" |