# files that should be ignored by git
docs/*.def*
*.diff
*.patch
core
*.tar.gz