lucianmarin/spaceman — pull request #1 by razvanh (2014-05-13 20:52:51+00:00)
Title: updated 'pygments' to 'highlighter'

Deprecation: The 'pygments' configuration option has been renamed to 'highlighter'