diff options
author | trahman1318 <tausif.rahman@mongodb.com> | 2022-03-31 17:12:23 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-03-31 19:32:55 +0000 |
commit | 8711aedfc3e06626309eaed6a854c72a056ff2d8 (patch) | |
tree | 6615f50e8484f20733ff80e6f986b1e09c9a2636 /evergreen/compile_ninja.sh | |
parent | 75cbc1477e90fc4ac145a718a5b646724e483104 (diff) | |
download | mongo-8711aedfc3e06626309eaed6a854c72a056ff2d8.tar.gz |
SERVER-60831 Document configuration for Server linting tools
Diffstat (limited to 'evergreen/compile_ninja.sh')
0 files changed, 0 insertions, 0 deletions