diff options
author | Alberto Sartori <alberto.sartori@huawei.com> | 2023-10-24 13:03:39 +0200 |
---|---|---|
committer | Alberto Sartori <alberto.sartori@huawei.com> | 2023-11-15 20:19:18 +0100 |
commit | 0a55a1debd0cdd9ca5832ef824e51f583111928c (patch) | |
tree | 73aab44f2cfddf8bb612499d53d8a5752c72e08e /src/other_tools/root_maps/commit_git_map.hpp | |
parent | 03a93bafbdd02bbb4e4f342d9d9e152293f990ae (diff) | |
download | justbuild-0a55a1debd0cdd9ca5832ef824e51f583111928c.tar.gz |
just_serve.proto: add Configuration service
This service allows to query the configuration of the just-serve
instance. In particular, it is used to double-check that the
associated remote end point is the same used by the interrogating
client.
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.hpp')
0 files changed, 0 insertions, 0 deletions