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)
Fri, May 3, 7:13 AM
Unknown Object (File)
Wed, Apr 24, 10:43 PM
Unknown Object (File)
Sat, Apr 20, 6:58 PM
Unknown Object (File)
Fri, Apr 12, 9:55 AM
Unknown Object (File)
Sun, Apr 7, 6:46 AM
Unknown Object (File)
Sun, Apr 7, 5:53 AM
Unknown Object (File)
Mar 17 2024, 4:28 PM
Unknown Object (File)
Feb 19 2024, 5:36 PM
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).