SublimeLinter/SublimeLinter3 — pull request #145 by klonuo (2014-10-23 20:08:59+00:00)
Title: Disable linting in SublimeRepl

Solves https://github.com/SublimeLinter/SublimeLinter-pep8/issues/7