Google Git
Sign in
gerrit/plugins/metrics-reporter-jmx/6655331a66e364a40b7c7a2fce627d2a3aae4f0d
commit
6655331a66e364a40b7c7a2fce627d2a3aae4f0d
[log]
author
Mihaly Petrenyi <e.mihaly.petrenyi@gmail.com>
Thu Oct 03 21:56:50 2019 +0200
committer
Mihaly Petrenyi <e.mihaly.petrenyi@gmail.com>
Thu Oct 03 21:56:50 2019 +0200
tree
1baf24665d0a5e489bca297c68430c74eab62624
parent
f97a11faff4d87b2fcaa0c7d99eed51f1fbd2d15 [diff]
parent
a7d491a94ae5675b3582aa2f5636d72ae4969c8b [diff]
Merge branch 'stable-2.14'

* stable-2.14:
  Implement configuration file usage

Change-Id: Ia87ad9c9bb71dda1cf13f1daf86bb4aa386cdf25
tree: 1baf24665d0a5e489bca297c68430c74eab62624
  1. src/
  2. BUILD
  3. external_plugin_deps.bzl