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 248c2817f..74266b4c5 100644 --- a/lockfile.json +++ b/lockfile.json @@ -375,7 +375,7 @@ "revision": "123d8b472e949b59f348c32e245107a34a3d8945" }, "latex": { - "revision": "ae2134af67f6c5e45587ace9ec748dd6e7b356a2" + "revision": "cd82eb40d31bdfe65f846f4e06292d6c804b5e0e" }, "ledger": { "revision": "8a841fb20ce683bfbb3469e6ba67f2851cfdf94a" |