diff options
| author | Jonas Schievink <[email protected]> | 2021-06-01 18:03:00 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-06-01 18:03:00 +0100 |
| commit | 41321fa71d43244737f29604abc48959ed72e654 (patch) | |
| tree | a9f50b7ff09e286bd2e3939a64ff60cea303720a /editors | |
| parent | 4f63e79eb30a0695675a560dfe7ebae6f1dd8a94 (diff) | |
Fall back to legacy prelude
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions