Page MenuHomePhabricator

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

Authored by joshuaspence on May 28 2014, 1:25 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Jan 18, 6:02 PM
Unknown Object (File)
Fri, Jan 17, 11:27 PM
Unknown Object (File)
Fri, Jan 17, 4:42 PM
Unknown Object (File)
Sat, Jan 11, 5:25 PM
Unknown Object (File)
Thu, Jan 2, 1:02 AM
Unknown Object (File)
Tue, Dec 31, 6:41 PM
Unknown Object (File)
Mon, Dec 30, 10:07 PM
Unknown Object (File)
Dec 17 2024, 4:59 AM
Subscribers

Details

Reviewers
epriestley
Group Reviewers
Blessed Reviewers
Commits
Restricted Diffusion Commit
rP1855e6675868: 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

Diff Detail

Repository
rP Phabricator
Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

joshuaspence retitled this revision from to Add some file types to `pygments.dropdown-choices`..
joshuaspence updated this object.
joshuaspence edited the test plan for this revision. (Show Details)
joshuaspence added a reviewer: epriestley.
epriestley edited edge metadata.
This revision is now accepted and ready to land.May 28 2014, 1:25 PM
epriestley updated this revision to Diff 22114.

Closed by commit rP1855e6675868 (authored by @joshuaspence, committed by @epriestley).