aboutsummaryrefslogtreecommitdiff
path: root/editors/code
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-01-25 14:22:24 +0000
committerGitHub <[email protected]>2021-01-25 14:22:24 +0000
commit2c735ed734be9b9041921478e0049fffd7160f78 (patch)
tree724e39e3933126ee3129c3e4e0c971b443221afd /editors/code
parent0a6b2b784618ffbc7775e9a3e3aaf42689bb2962 (diff)
parent5c241b07666bc7b29e97b8206e505944775266a0 (diff)
Merge #7426
7426: Create all `ModuleId`s through a `DefMap` method r=jonas-schievink a=jonas-schievink `ModuleId` needs to be able to represent blocks, and only the associated `DefMap` will know how to construct that `ModuleId` bors r+ Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions