tomchristie/django-rest-framework — pull request #614 by guglielmo (2013-01-25 17:16:25+00:00)
Title: Update docs/tutorial/4-authentication-and-permissions.md

HTMLFormatter is in pygments.formatters.html