diff options
| author | GitHub <noreply@github.com> | 2022-04-03 12:47:53 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-04-03 14:54:29 +0200 |
| commit | 666bbeda9f775f599577042de66af98f15cd146c (patch) | |
| tree | 5d2c17a45562ea0470934eda70026f63d3996a64 | |
| parent | 1c53f9a2dd644b0ec9029bc2c39641c31fb6a868 (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 6ef14b73..105db940 100644 --- a/lockfile.json +++ b/lockfile.json @@ -239,6 +239,9 @@ "regex": { "revision": "e1cfca3c79896ff79842f057ea13e529b66af636" }, + "rego": { + "revision": "4dbe6681adc9dd3866db7a511b9135663b954f7e" + }, "rst": { "revision": "b74770c0166f28c1a0ab293513a78712ca1c338b" }, |