.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: 1824d0c59bd8dc2b59168c44cf547580c9a71173 (plain) (blame)

1
2
3

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