tree 0d57d0f2fa07b82f00020f44ff5315942077e20d
parent 1a80bb87fef46017b1c2e440085d0741dadb7328
author Jin <jin@users.noreply.github.com> 1574784186 -0800
committer Copybara-Service <copybara-worker@google.com> 1574784257 -0800

Delete maven_jar, maven_server and --incompatible_remove_native_maven_jar

Closes #10237.

PiperOrigin-RevId: 282566383