aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: 0079a6798620d0edb98b9890e1c6a4f592cb7938 (plain)
1
2
3
4
5
6
7
8
9
/generated_definitions

# global things

_build/
_sbuild/
*.o
*.a
/z3_problems