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 86345acc5..3576acbde 100644 --- a/versions/f-/fmt.json +++ b/versions/f-/fmt.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "943d63e7b912d94aab5db2c127ddc9a7ccf05c52", + "version": "7.1.3", + "port-version": 3 + }, + { "git-tree": "71167ed3f3204ccfa0c7571ea5a89df1b113ed74", "version": "7.1.3", "port-version": 2 |