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
F15457916: D9319.diff
Sun, Mar 30, 8:01 PM
F15446921: D9319.id.diff
Thu, Mar 27, 8:53 PM
F15435865: D9319.id22113.diff
Tue, Mar 25, 10:36 AM
F15417838: D9319.diff
Thu, Mar 20, 6:58 PM
F15331329: D9319.diff
Mar 7 2025, 8:57 AM
Unknown Object (File)
Feb 26 2025, 12:47 AM
Unknown Object (File)
Feb 26 2025, 12:46 AM
Unknown Object (File)
Feb 24 2025, 11:51 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).