On 1/15/2013 4:45 PM, Andrei Alexandrescu wrote:
What about just using the json output?

It'd lose all the comments.

Reply via email to