diff options
author | Shahan Yang <shahan@google.com> | 2018-06-29 10:59:26 -0400 |
---|---|---|
committer | John Cater <jcater@google.com> | 2018-06-29 13:45:33 -0400 |
commit | f6dce2e24bc9c8df25999dcda0ccd9a15ac770d7 (patch) | |
tree | 51e29fff6cab606094c037c5f06c74bd5dd79a7e /third_party/BUILD | |
parent | f24958a11e3a54f563429aadc12bce033be047fa (diff) |
Deletes unneeded Kryo library.
Change-Id: I1210baa97c9f9bf817f8b26f6a75b7c31da2e48b
Diffstat (limited to 'third_party/BUILD')
-rw-r--r-- | third_party/BUILD | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/third_party/BUILD b/third_party/BUILD index 9ca154ff1f..b459e42de0 100644 --- a/third_party/BUILD +++ b/third_party/BUILD @@ -543,16 +543,6 @@ java_import( ) java_import( - name = "kryo_lib", - jars = ["kryo/kryo-3.0.2.jar"], -) - -java_library( - name = "kryo", - exports = ["kryo_lib"], -) - -java_import( name = "minlog_lib", jars = ["minlog/minlog-1.2.jar"], ) |