Browse Source

extras/tools: Add missing extensions to gitignore

pull/59/merge
Marvin Scholz 9 years ago
parent
commit
e26f843106
  1. 2
      extras/tools/.gitignore

2
extras/tools/.gitignore

@ -4,3 +4,5 @@ build/
*/
*.tar.gz
*.tar.bz2
*.tar.xz
*.zip

Loading…
Cancel
Save