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)
Wed, Feb 26, 12:47 AM
Unknown Object (File)
Wed, Feb 26, 12:46 AM
Unknown Object (File)
Mon, Feb 24, 11:51 AM
Unknown Object (File)
Mon, Feb 17, 8:23 PM
Unknown Object (File)
Sun, Feb 9, 1:14 PM
Unknown Object (File)
Sun, Feb 9, 1:14 PM
Unknown Object (File)
Sun, Feb 9, 1:14 PM
Unknown Object (File)
Jan 18 2025, 6:02 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).