1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
*.tar *.tar.* *.jar *.exe *.msi *.deb *.zip *.tgz *.log *.log.* *.sig pkg/ src/ sat-solver/