diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-23 18:57:10 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-23 18:57:10 +0100 |
| commit | ffbb60436305c9ef8c8944188e0373122051c53a (patch) | |
| tree | 3240bdb3aa75eb278f13b7294f01591181189135 /editors/code/src/commands | |
| parent | e49c628c0d7ab30a09e8d3ba3d7ac93ab967ff6d (diff) | |
| parent | dc477db757247d5184250bffe9dd0c38dd867778 (diff) | |
Merge #157
157: Introduce ModuleId r=matklad a=matklad
Previously, module was synonym with a file, and so a module could have
had several parents. This commit introduces a separate module concept,
such that each module has only one parent, but a single file can
correspond to different modules.
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/commands')
0 files changed, 0 insertions, 0 deletions