diff options
| author | GitHub <noreply@github.com> | 2022-04-23 11:55:53 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-04-23 14:02:51 +0200 |
| commit | ee38abbe46923d123e86f56513c6dfe3b74b54e8 (patch) | |
| tree | 34a87299967a84333f355cd5f16383e72cae4b26 | |
| parent | 24f99166edfc19aa81c6dcb3516edf3ca2671e00 (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lockfile.json b/lockfile.json index f3c4a917..633c4472 100644 --- a/lockfile.json +++ b/lockfile.json @@ -203,6 +203,9 @@ "ocamllex": { "revision": "ac1d5957e719d49bd6acd27439b79843e4daf8ed" }, + "org": { + "revision": "fab7af32a2719091df5b222f98099c566859de78" + }, "pascal": { "revision": "2fd40f477d3e2794af152618ccfac8d92eb72a66" }, |