diff options
author | gjoranv <gjoranv@gmail.com> | 2017-04-05 11:06:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-05 11:06:37 +0200 |
commit | eaa0f7dc7209641337bf0ec88ab56dc6fc5c4ae4 (patch) | |
tree | 077fcc7a0bde1455d4936086736a6194947549d4 /pom.xml | |
parent | 1fa9bb333f7bb9a179c6400f76ccb18591c63448 (diff) | |
parent | 5a141c5aadc99eeb3684d7a2ac32ea42b4084d1e (diff) |
Merge pull request #2150 from yahoo/bjorncs/remove-jdisc-jmx-metrics
Remove jdisc_jmx_metrics
Diffstat (limited to 'pom.xml')
-rw-r--r-- | pom.xml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1140,7 +1140,6 @@ <module>jdisc_core_test</module> <module>jdisc_http_service</module> <module>jdisc_jetty</module> - <module>jdisc_jmx_metrics</module> <module>jdisc_messagebus_service</module> <module>jrt</module> <module>libmlr</module> |