aboutsummaryrefslogtreecommitdiff
path: root/versions/m-
diff options
context:
space:
mode:
Diffstat (limited to 'versions/m-')
-rw-r--r--versions/m-/magnum-plugins.json5
-rw-r--r--versions/m-/magnum.json5
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