diff options
| author | GitHub <noreply@github.com> | 2022-10-17 10:13:15 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-10-17 13:58:54 +0200 |
| commit | 5653fa73ee0716b59d030b996238745d4c34924b (patch) | |
| tree | 7d8cffa867f69c3d246df4ffa46576a15c257082 | |
| parent | 17aef2898b81937f3aa04c1e92d3906fe185829a (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lockfile.json b/lockfile.json index ffa0a466..eb1805d0 100644 --- a/lockfile.json +++ b/lockfile.json @@ -210,10 +210,10 @@ "revision": "a4b9187417d6be349ee5fd4b6e77b4172c6827dd" }, "markdown": { - "revision": "439cbe676a9b0371d661115c3caab7ca01d945b2" + "revision": "d33d2bf6823dd128dac6d363df0e46f2fb5c0635" }, "markdown_inline": { - "revision": "439cbe676a9b0371d661115c3caab7ca01d945b2" + "revision": "d33d2bf6823dd128dac6d363df0e46f2fb5c0635" }, "menhir": { "revision": "db7953acb0d5551f207373c81fa07a57d7b085cb" |