.gitignore - aoc-2023 - Advent of Code 2023 - I'm still learning Lean4, so please don't judge.

summary refs log tree commit diff

path: root/.gitignore

blob: f5701757ea2bf19ca8f0a1410ab1ca88518329b8 (plain) (blame)

/build
/lakefile.olean
/lake-packages/*
/.lake
/lake-manifest.json