Comment 15 for bug 1255876

Revision history for this message
Doug Hellmann (doug-hellmann) wrote :

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.