diff options
Diffstat (limited to 'versions/p-')
| -rw-r--r-- | versions/p-/ptex.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/versions/p-/ptex.json b/versions/p-/ptex.json index 3a7baab15..47f9c2dca 100644 --- a/versions/p-/ptex.json +++ b/versions/p-/ptex.json @@ -1,6 +1,11 @@ { "versions": [ { + "git-tree": "c524a2ab1940315d3481e9fbf745425caf5b7c15", + "version": "2.3.2", + "port-version": 3 + }, + { "git-tree": "e4ee03f1ba1d9c807b8baee1bd3b1089e71476ca", "version-string": "2.3.2", "port-version": 2 |