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 3a50a7ca9..84b2d06f1 100644 --- a/versions/m-/magnum-plugins.json +++ b/versions/m-/magnum-plugins.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "457d2fb07dd06abe61d8bdee77bc5dc1ff9391a5", + "version-string": "2020.06", + "port-version": 5 + }, + { "git-tree": "05b4c54140907b0b46926c50e0b56bc80051b218", "version-string": "2020.06", "port-version": 4 diff --git a/versions/m-/magnum.json b/versions/m-/magnum.json index d2cdf0bb6..6103787d6 100644 --- a/versions/m-/magnum.json +++ b/versions/m-/magnum.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "cb97c301133d04f205cb1547e5559341474f842e", + "version-string": "2020.06", + "port-version": 5 + }, + { "git-tree": "96fbedbdb7cac5cb1624af746d6e4b2cb4b57cc8", "version-string": "2020.06", "port-version": 4 |
