aboutsummaryrefslogtreecommitdiff
path: root/entries/funemy/.gitignore
blob: 3d2fbd5018c1ca9f7de1b355d52e7961067b8cd2 (plain) (blame)
1
2
3
4
.DS_Store
*.agdai
*.smt2
**/.koka/*