summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 07041bab039ef2a313bf6bc16b5b7a25690ff418 (plain)
1
2
3
4
5
6
7
8
9
10
dist
cabal-dev
tmp
upload-docs
*.aux
*.eventlog
*.hp
*.pdf
*.ps
*.prof