diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-06 23:21:49 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-06 23:21:49 +0000 |
| commit | 07a54f7ae451451292e3282f1e7defb4391b766f (patch) | |
| tree | 296a5f2b2aff6f74eb3cc5db851d59bea5cc3889 /docs/dev | |
| parent | c44575b4857e2d97067afab7df1f98042aa591c4 (diff) | |
| parent | 6750c11df33868ffac07af4c8d4b050331663f5e (diff) | |
Merge #7899
7899: Rename a few `crate_def_map`s to `def_map` r=jonas-schievink a=jonas-schievink
These could all be block `DefMap`s instead of crate-level `DefMap`s
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions