diff options
| -rw-r--r-- | CVSROOT/modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules index e1cdbfc73a5..433150a78f4 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -16993,6 +16993,7 @@ proofgeneral ports/math/proofgeneral props ports/x11/props prosearch ports/net/prosearch prosper ports/textproc/prosper +protobuf ports/devel/protobuf protomol ports/biology/protomol prototype ports/devel/prototype proxsmtp ports/mail/proxsmtp |