chriskempson/tomorrow-theme — pull request #280 by yous (2014-11-18 19:36:54+00:00)
Title: Remove duplicated highlightings

See https://github.com/chriskempson/tomorrow-theme/pull/261#discussion_r20504381.