Git-ignored settings.xml