Just as with editor-specific settings in the source files, I think we should leave editor-specific ignore files up to the developer to configure locally.
Just as with editor-specific settings in the source files, I think we should leave editor-specific ignore files up to the developer to configure locally.