diff options
| author | Matthias Einwag <[email protected]> | 2019-11-10 21:15:47 +0000 |
|---|---|---|
| committer | Matthias Einwag <[email protected]> | 2019-11-10 21:15:47 +0000 |
| commit | d634364462931c0a4944de29b38681a482817b6b (patch) | |
| tree | e55d40fa70e9e1122aecbe66f258073b2c3d7a43 /editors/code/.vscodeignore | |
| parent | 8baa05666c455b4dd6333fd5ac1a694136039f43 (diff) | |
Overwrite the prelude with one defined in a later dependency
This removes the special casing for the "core" prelude.
Whenever a later dependency also exports a prelude, it will replace
the formerly imported prelude. The utilized prelude then depends
purely on import order.
Diffstat (limited to 'editors/code/.vscodeignore')
0 files changed, 0 insertions, 0 deletions