mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-26 10:16:32 +00:00
Updated PROFILING instructions. It is no longer necessary
to insert -auto-all by hand, since Ghc-Prof-Options takes care of that. git-svn-id: https://pandoc.googlecode.com/svn/trunk@1091 788f1e2b-df1e-0410-8736-df70ead52e1b
This commit is contained in:
Reference in New Issue
Block a user