Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
JSON format profile printer (additions) #326
This is some additions to pull request #270, as per the discussion there.
I've added a layer of indirection between
All changes should be backwards compatible, and I've marked the old version of
I've added an optional argument to
I'm not entirely satisfied with the way profiles are printed, and I'd like to do some more changes to structure it differently, but I think that another pull request that can aim for a later release.