#470 Add HELP output for auto-created metrics#471
Merged
brian-brazil merged 1 commit intoprometheus:masterfrom Oct 1, 2019
Merged
Commits
Commits on Oct 1, 2019
- authored andcommitted

HELP output for auto-created metrics#471