aboutsummaryrefslogtreecommitdiff
path: root/entries/funemy/.gitignore
blob: 9211bbdb8fe9c48bb1ff3f5fb6ef66d0e9317531 (plain) (blame)
1
2
3
4
5
6
.DS_Store
*.agdai
*.smt2
**/.koka/*
*.hi
*.o