diff options
Diffstat (limited to 'CVSROOT')
| -rw-r--r-- | CVSROOT/modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules index 0c6d5a5a5eaf..868fd4ba1894 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -2370,6 +2370,7 @@ eclipse-jad ports/java/eclipse-jad eclipse-langpack ports/java/eclipse-langpack eclipse-log4e ports/java/eclipse-log4e eclipse-lomboz ports/java/eclipse-lomboz +eclipse-ocl ports/java/eclipse-ocl eclipse-pmd ports/java/eclipse-pmd eclipse-quantum ports/java/eclipse-quantum eclipse-sqlexplorer ports/java/eclipse-sqlexplorer |