HomePhabricator

Add some file types to `pygments.dropdown-choices`.

Description

Add some file types to pygments.dropdown-choices.

Summary: I could just add these options to my local configuration, but I figured I'd submit these upstream since they are (in my opinion) fairly common file formats.

Test Plan: N/A

Reviewers: epriestley, Blessed Reviewers

Reviewed By: epriestley, Blessed Reviewers

Subscribers: epriestley, Korvin

Differential Revision: https://secure.phabricator.com/D9319

Details

Provenance
joshuaspenceAuthored on
epriestleyCommitted on May 28 2014, 1:26 PM
epriestleyPushed on May 28 2014, 1:26 PM
Reviewer
Blessed Reviewers
Differential Revision
D9319: Add some file types to `pygments.dropdown-choices`.
Parents
rP2aef04a78afb: Fix Diffusion blame/highlight for logged-out users
Branches
Unknown
Tags
Unknown

Event Timeline