a38b5f2bc59ea29d96ef0239e39d24dad09d4c10 - plugins/batch

commit: a38b5f2bc59ea29d96ef0239e39d24dad09d4c10
[log] [tgz]
author: David Pursehouse <dpursehouse@digital.ai>
Tue Jun 09 09:43:08 2020 +0900
committer: David Pursehouse <dpursehouse@digital.ai>
Tue Jun 09 09:43:08 2020 +0900
tree: 3c308b166a6bb36c53c6672f8079ef1c9c3e3c6a
parent: 7e5b042a4a529ef6d39fc6faa0c23ba08269ea8c [diff]
parent: e6c61026a57f2b32c8971061e664e404c6673255 [diff]

Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade bazlets to latest stable-2.15 to build with 2.15.19 API

Change-Id: I7e6b10e93a4b9946e2020dad7855ef981c6386a3

tree: 3c308b166a6bb36c53c6672f8079ef1c9c3e3c6a

.settings/
src/
test/
tools/
.bazelrc
.bazelversion
.gitignore
bazlets.bzl
BUILD
LICENSE
pom.xml
WORKSPACE