diff options
author | Aleksey Kladov <[email protected]> | 2018-10-23 17:15:31 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2018-10-23 18:44:23 +0100 |
commit | dc477db757247d5184250bffe9dd0c38dd867778 (patch) | |
tree | 1eebf0ff17462a44668f95b3e042de09d09985d0 /editors/code/src | |
parent | 1d574ed6543936af7d1d16c4b4ea9b4bd858aa41 (diff) |
Introduce ModuleId
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.
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions