diff options
| author | GitHub <noreply@github.com> | 2022-10-24 16:47:06 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-10-24 18:56:51 +0200 |
| commit | 7a6c4d93a3baf0382b6e797d3739286946ec3991 (patch) | |
| tree | 7196f1968dbab8978f452bc0e14d12f92e15b46f /lockfile.json | |
| parent | 682fa459173208997092adf872baa66a7f04692d (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 10cff94a..a0021558 100644 --- a/lockfile.json +++ b/lockfile.json @@ -6,7 +6,7 @@ "revision": "947e93089e60c66e681eba22283f4037841451e7" }, "bash": { - "revision": "385a8e4d383f6c045965d1de9c514932319dea4b" + "revision": "f1a86d3cc5aeeb67e0e52442e893af7f813025b4" }, "beancount": { "revision": "4cbd1f09cd07c1f1fabf867c2cf354f9da53cc4c" |