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

lean-*.tar.*