diff options
Diffstat (limited to 'versions/p-')
| -rw-r--r-- | versions/p-/platform-folders.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/versions/p-/platform-folders.json b/versions/p-/platform-folders.json index 54763549e..d2de2cafd 100644 --- a/versions/p-/platform-folders.json +++ b/versions/p-/platform-folders.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "8bb2bb2c54727cd2fa9b97a09313b1589e8f4e03", + "version": "4.1.0", + "port-version": 0 + }, + { "git-tree": "86a7b50a14bdd41de268fedb24601eeb94661ebb", "version-string": "4.0.0", "port-version": 7 |