diff options
| author | Marcos José Grillo Ramirez <marcos.grillo@mongodb.com> | 2023-03-03 18:00:25 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2023-03-04 00:24:45 +0000 |
| commit | dce4b62e25f4d62b2990e4faff54a6702eeb24c0 (patch) | |
| tree | 71fd9f1d095aa3c15bfd6cbcca86aff872242a74 /src/mongo/db/mirror_maestro.idl | |
| parent | 23a26b5dad45d12187b61a1e5e49c60c5be26632 (diff) | |
| download | mongo-dce4b62e25f4d62b2990e4faff54a6702eeb24c0.tar.gz | |
SERVER-70789 Rename sharding global indexes utilities to reflect globalness of the API
Diffstat (limited to 'src/mongo/db/mirror_maestro.idl')
0 files changed, 0 insertions, 0 deletions