diff options
| author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2019-01-14 13:36:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-14 13:36:33 +0100 |
| commit | b0587989a0f6b5a07b09fe4b03036fdd0231b2cf (patch) | |
| tree | b1139907cde0651b1ce5db849bf04c705d023de3 /jdisc_http_service | |
| parent | ac9c1759ea31012fb3d5b95102a69434a07ffb16 (diff) | |
| parent | d7b41688d2228b3918617828e8910c752638e552 (diff) | |
Merge pull request #8070 from vespa-engine/jvenstad/whitelisted-badges
Move badges to separate, minimal API
Diffstat (limited to 'jdisc_http_service')
0 files changed, 0 insertions, 0 deletions