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 504ff0772..9fc6b3c8c 100644 --- a/versions/f-/fmt.json +++ b/versions/f-/fmt.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "4f8427eb0bd40da1856d4e67bde39a4fda689d72", + "version": "7.1.3", + "port-version": 1 + }, + { "git-tree": "dd8cf5e1a2dce2680189a0744102d4b0f1cfb8b6", "version-string": "7.1.3", "port-version": 0 |