This goes together with my pull request to pandoc... #11

Merged
merged 2 commits into from May 31, 2012

Projects

None yet

2 participants

@jonassmedegaard

No description provided.

@jonassmedegaard

This is the corresponding pull request I am referring to: jgm/pandoc#521, which this one depends on.

@jgm jgm merged commit 0fdef55 into jgm:master May 31, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment