diff options
| author | gjoranv <gjoranv@gmail.com> | 2019-05-07 15:44:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-07 15:44:37 +0200 |
| commit | 8b0272c3104080d1f293e6a709208d2ea149fc03 (patch) | |
| tree | 75c617d1e16d4059ad06d629cb4cf0684806843e /pom.xml | |
| parent | d342e55a3cc82d742fcb8295c9a45606197267f5 (diff) | |
Revert "Gjoranv/New metrics proxy"
Diffstat (limited to 'pom.xml')
| -rw-r--r-- | pom.xml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -96,7 +96,6 @@ <module>messagebus-disc</module> <module>messagebus</module> <module>metrics</module> - <module>metrics-proxy</module> <module>model-evaluation</module> <module>model-integration</module> <module>node-repository</module> |