diff options
| author | Jonas Schievink <[email protected]> | 2021-03-10 15:33:18 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-03-10 15:33:18 +0000 |
| commit | c2622c922887368788674d1735a7705fc345a5b9 (patch) | |
| tree | b0aab1d4c84036dfdc27da40e15c96828cd9e9fd /editors/code | |
| parent | 83280ea5746451f4580e6c32ba8a82be972cb786 (diff) | |
Prefer names from outer DefMap over extern prelude
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions