mbutterick
/
pollen
3
3
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

Labels Milestones

New Pull Request

Sync changes from Frog's pygments #181

Merged
sorawee merged 1 commits from master into master 6 years ago
Conversation 1 Commits 1 Files Changed 1

1 Commits (master)

Author SHA1 Message Date
Sorawee Porncharoenwase 2c216ae893 Sync changes from Frog's pygments 
Upstream code:
https://github.com/greghendershott/frog/blob/master/frog/private/enhance-body/syntax-highlight/pygments.rkt

In particular, this commit allows users to supply a Python executable
which is needed if, for example, Pygments is installed for Python 3, but
`python` is an alias for Python 2.
 6 years ago