diff options
| author | Jonas Schievink <[email protected]> | 2021-04-09 13:46:52 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-04-09 13:46:52 +0100 |
| commit | 4ea5f690bc2692699208999f46a85a9872cbfc73 (patch) | |
| tree | f0437e6259652d32a858237edd32f5430f644084 /editors/code/icon.png | |
| parent | 99ed68a109c9f7e0dc6a82ccb5bf854d60943957 (diff) | |
Undo path resolution hack for extern prelude
We don't populate the extern prelude for block DefMaps anymore,
so this is unnecessary
Diffstat (limited to 'editors/code/icon.png')
0 files changed, 0 insertions, 0 deletions