SublimeLinter/SublimeLinter — pull request #440 by FichteFoll (2013-05-12 22:29:42+00:00)
Title: Update description for "sublimelinter_mark_style" setting

The old description did not match the default value.