diff options
| -rw-r--r-- | CVSROOT/modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules index a4ba83d0aae7..f4e8c55e5c5d 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -3284,6 +3284,7 @@ jde-emacs20 ports/java/jde-emacs20 jdictionary ports/textproc/jdictionary jdictionary-eng-hun ports/hungarian/jdictionary-eng-hun jdictionary-eng-hun-expr ports/hungarian/jdictionary-eng-hun-expr +jdictionary-int-eng ports/textproc/jdictionary-int-eng jdk11 ports/java/jdk11 jdk11-doc ports/java/jdk11-doc jdk12 ports/java/jdk12 |