put propref in gitignore