Suppression à la main des fichiers inutiles dans l'index git

Pour info, la commande utilisé pour ce miracle est:
git rm -n -r `find . \( -name ".classpath" -o -name ".project" -o -name "bin" -o -name "gen" -o -name "*.class" -o -name "*.dex" -o -name "*.apk" -o -name "*.ap_" -o -name "local.properties" \) -print`

Ces fichiers sont probablement supprimable pour de bon du disque (à voir)