diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2019-09-10 14:34:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-10 14:34:39 +0200 |
commit | 9be8547f8720e71d4e80582a9ce5f720d2c22d20 (patch) | |
tree | 416766fefaacac9ddff488fd599f96f050eb9e8e /configserver | |
parent | 8aed64b0c2e9fd6e37114c42bee64b512f73bef1 (diff) | |
parent | 6b273efe7578ba1328ec3263e49eee964e9dd5f9 (diff) |
Merge pull request #10589 from vespa-engine/jvenstad/point-plugins-to-public-api-by-default
Point OS Vespa Maven plugins to public API by default
Diffstat (limited to 'configserver')
0 files changed, 0 insertions, 0 deletions