More flexible .gitignoreing of arbitrary Settings.properties