| commit | 203ee5c86760e8385b859006a1620e98ea0c213d | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Sun Sep 02 21:27:36 2018 +0200 |
| committer | David Ostrovsky <david@ostrovsky.org> | Sun Sep 02 21:27:36 2018 +0200 |
| tree | ea0fedc143b090e84d484a048d0d4864c9db481a | |
| parent | c9ce6e1a436275be91aad66d765128fb359031cb [diff] |
Prefer Javamelody's own configuration constants Change-Id: I42910d0c9838d188a01b57c63df244e3ccf5c2d9