[infra-proxy-service] rename route /infra_proxy/servers to /infra/ser…

…vers Signed-off-by: Vivek Singh <[email protected]>
chef · Dec 31, 2019 · b2feecd · b2feecd
1 parent 4ea5e1c
commit b2feecd
Show file tree

Hide file tree

Showing 7 changed files with 166 additions and 168 deletions.
diff --git a/api/external/infra_proxy/infra_proxy.pb.go b/api/external/infra_proxy/infra_proxy.pb.go