summarylogtreecommitdiffstats
path: root/.gitignore
blob: ae25ee8ef8764f46029314ea8d9634117dda62dc (plain)
1
2
3
4
pkg/
src/

lean-community-*.tar.*