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 186eba574..d21eec282 100644 --- a/lockfile.json +++ b/lockfile.json @@ -381,7 +381,7 @@ "revision": "854a40e99f7c70258e522bdb8ab584ede6196e2e" }, "latex": { - "revision": "5a1b4165add2dd705e0a460e5ac12d5baa35a354" + "revision": "1218adae6179fd49ec9945b00bd3211866acc119" }, "ledger": { "revision": "8a841fb20ce683bfbb3469e6ba67f2851cfdf94a" |