# list files that shall be ignored by git