diff options
Diffstat (limited to 'versions/m-')
| -rw-r--r-- | versions/m-/magnum-plugins.json | 5 | ||||
| -rw-r--r-- | versions/m-/magnum.json | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/versions/m-/magnum-plugins.json b/versions/m-/magnum-plugins.json index 84b2d06f1..c506406ff 100644 --- a/versions/m-/magnum-plugins.json +++ b/versions/m-/magnum-plugins.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "3aedbba0e9e694651549ff34fba8d6eeeb3fdde6", + "version-string": "2020.06", + "port-version": 6 + }, + { "git-tree": "457d2fb07dd06abe61d8bdee77bc5dc1ff9391a5", "version-string": "2020.06", "port-version": 5 diff --git a/versions/m-/magnum.json b/versions/m-/magnum.json index 6103787d6..006dae3e1 100644 --- a/versions/m-/magnum.json +++ b/versions/m-/magnum.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "f420e42c1b841b4f3b2f2cda488a35f68b0677d7", + "version-string": "2020.06", + "port-version": 6 + }, + { "git-tree": "cb97c301133d04f205cb1547e5559341474f842e", "version-string": "2020.06", "port-version": 5 |
