diff options
| -rw-r--r-- | CVSROOT/modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules index 1a93c06003c6..8f3c10129c34 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -10566,6 +10566,7 @@ perltidy ports/devel/perltidy permute ports/textproc/permute personality ports/sysutils/personality pessulus ports/sysutils/pessulus +pets ports/games/pets petsc ports/math/petsc petsc-mpich ports/math/petsc-mpich pexts ports/lang/pexts |