JulianEberius/SublimePythonIDE — pull request #24 by DamnWidget (2013-07-20 14:41:27+00:00)
Title: fixed bug that make impossible to use the linter if gutter_marks are disabled

Just a fix for issue #23