diff options
| -rw-r--r-- | gerrit-plugin-gwtui/BUILD | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gerrit-plugin-gwtui/BUILD b/gerrit-plugin-gwtui/BUILD index d9281c88f2..366cf82bce 100644 --- a/gerrit-plugin-gwtui/BUILD +++ b/gerrit-plugin-gwtui/BUILD @@ -78,10 +78,6 @@ java_doc( ], pkgs = [ "com.google.gerrit.plugin", - "com.google.gwtexpui.clippy", - "com.google.gwtexpui.globalkey", - "com.google.gwtexpui.safehtml", - "com.google.gwtexpui.user", ], title = "Gerrit Review GWT Extension API Documentation", ) |