aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Schievink <[email protected]>2021-06-01 18:03:00 +0100
committerJonas Schievink <[email protected]>2021-06-01 18:03:00 +0100
commit41321fa71d43244737f29604abc48959ed72e654 (patch)
treea9f50b7ff09e286bd2e3939a64ff60cea303720a /.gitignore
parent4f63e79eb30a0695675a560dfe7ebae6f1dd8a94 (diff)
Fall back to legacy prelude
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions