diff options
| author |  Philipp Wollermann <philwo@google.com> | 2018-07-18 13:21:48 +0200 |
|---|---|---|
| committer | Philipp Wollermann <philwo@google.com> | 2018-07-26 11:45:32 +0200 |
| commit | 63883b3112d74f7f69b0886ff3f3314bfcb0a5e0 (patch) | |
| tree | 9cefe42463c84ff5a2813c7f971caba38d00fa6a /third_party/BUILD | |
| parent | 71479d3ef1627a30b9ec75ca50e6a90cf7db6377 (diff) | |
Remove jopt-simple from third_party
Diffstat (limited to 'third_party/BUILD')
| -rw-r--r-- | third_party/BUILD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/third_party/BUILD b/third_party/BUILD index eafa07c094..a9454b07ad 100644 --- a/third_party/BUILD +++ b/third_party/BUILD @@ -18,7 +18,6 @@ filegroup( "//third_party/java/jacoco:srcs", "//third_party/java/javapoet:srcs", "//third_party/java/jcommander:srcs", - "//third_party/java/jopt-simple:srcs", "//third_party/java/jdk/langtools:srcs", "//third_party/java/proguard:srcs", "//third_party/javascript/bootstrap:srcs", |