Code

prom: Remove custom registry#3161

Code

Merged

oncilla merged 3 commits intoscionproto:masterscionproto/scion:masterfrom oncilla:pub-metrics-remove-custom-registryoncilla/scion:pub-metrics-remove-custom-registryCopy head branch name to clipboardSep 18, 2019

+72-142

Commits

Commits on Sep 17, 2019

• prom: Remove custom registry

  Show description for ad9c36a
  oncilla

  committed
  ad9c36a

Commits on Sep 18, 2019

• expose element id

  oncilla

  committed
  c21c176

• border -> br

  oncilla

  committed
  869cef3