aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-03-06 23:21:49 +0000
committerGitHub <[email protected]>2021-03-06 23:21:49 +0000
commit07a54f7ae451451292e3282f1e7defb4391b766f (patch)
tree296a5f2b2aff6f74eb3cc5db851d59bea5cc3889 /editors
parentc44575b4857e2d97067afab7df1f98042aa591c4 (diff)
parent6750c11df33868ffac07af4c8d4b050331663f5e (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 'editors')
0 files changed, 0 insertions, 0 deletions