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 ef8b3fe8..ce9eb667 100644 --- a/lockfile.json +++ b/lockfile.json @@ -81,7 +81,7 @@ "revision": "48bfb38abd93f8d617877d7bb7f92a6bb1166285" }, "latex": { - "revision": "e87bc36487bba70f492cf5810f44a5484f883c32" + "revision": "ea43db6830632fd3531b9cbc34a93502b0d4339a" }, "ledger": { "revision": "609d5e5ab5955823b3faeaec8d2afc91860c639a" |