diff options
| author | GitHub <noreply@github.com> | 2022-10-07 07:00:55 +0000 |
|---|---|---|
| committer | Thomas Vigouroux <thomas.vigouroux@protonmail.com> | 2022-10-07 10:30:06 +0200 |
| commit | c536886f2be1683ff36f0d56adf195895d3ba02c (patch) | |
| tree | e77400527ffe2e91483428c24f5045a4556d5ffb /lockfile.json | |
| parent | a33858d399d0da226b0cf7b45fe9dc8f0a06547b (diff) | |
Update lockfile.json
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 96003528..2668a863 100644 --- a/lockfile.json +++ b/lockfile.json @@ -192,7 +192,7 @@ "revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e" }, "latex": { - "revision": "6fdf7d3f9edf094f4e5e39681ab5edf50e9a1ad6" + "revision": "2d5f17ebd12650bee06d4fb4333a205b0699ac40" }, "ledger": { "revision": "47b8971448ce5e9abac865f450c1b14fb3b6eee9" |