Google Git
Sign in
gerrit/plugins/batch/67613f120b209cffc8c3f98747cf50d627523e82
commit
67613f120b209cffc8c3f98747cf50d627523e82
[log] [tgz]
author
Jacek Centkowski <jcentkowski@digital.ai>
Fri Jan 15 08:47:56 2021 +0100
committer
Jacek Centkowski <jcentkowski@digital.ai>
Fri Jan 15 08:47:56 2021 +0100
tree
72a0fe7bc9eebe21a3880218eb95bc5208ba94c7
parent
720f039e6cbfd82c58d439fc7a8192b93321e92a [diff]
parent
2fd8d2d5af3a7e7636be9ba136e9714fdefdc437 [diff]
Merge branch 'stable-3.1'

Change-Id: I9c34cec575fdcfb14b9af5d0b5ef8ed51dc51138
tree: 72a0fe7bc9eebe21a3880218eb95bc5208ba94c7
  1. .settings/
  2. src/
  3. test/
  4. tools/
  5. .bazelrc
  6. .bazelversion
  7. .factorypath
  8. .gitignore
  9. bazlets.bzl
  10. BUILD
  11. external_plugin_deps.bzl
  12. LICENSE
  13. pom.xml
  14. WORKSPACE