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 0913d3788..3ab660883 100644 --- a/versions/m-/magnum-plugins.json +++ b/versions/m-/magnum-plugins.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "79988d3cd16038434cacef0e4423f3b2e64f0a1b", + "version-string": "2020.06", + "port-version": 3 + }, + { "git-tree": "b9b701869c5d4f5f4203702622d2bbfa58b6517f", "version-string": "2020.06", "port-version": 2 diff --git a/versions/m-/magnum.json b/versions/m-/magnum.json index 171c91661..d2cdf0bb6 100644 --- a/versions/m-/magnum.json +++ b/versions/m-/magnum.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "96fbedbdb7cac5cb1624af746d6e4b2cb4b57cc8", + "version-string": "2020.06", + "port-version": 4 + }, + { "git-tree": "84fd6db3cf53cfcb736bfb14b08b86940f5588e1", "version-string": "2020.06", "port-version": 3 |
