diff options
Diffstat (limited to 'versions/f-')
| -rw-r--r-- | versions/f-/fmt.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/versions/f-/fmt.json b/versions/f-/fmt.json index 9fc6b3c8c..86345acc5 100644 --- a/versions/f-/fmt.json +++ b/versions/f-/fmt.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "71167ed3f3204ccfa0c7571ea5a89df1b113ed74", + "version": "7.1.3", + "port-version": 2 + }, + { "git-tree": "4f8427eb0bd40da1856d4e67bde39a4fda689d72", "version": "7.1.3", "port-version": 1 |