Add tools/*.properties to gitignore