Conversion to JSON
Closed this issue · 1 comments
paulmelis commented
Here's a little script Python I used to convert the data from CSV format to JSON. Maybe this is useful for others as well.
astronexus commented
Closed since there are no active plans to generate a JSON version of the DB at the moment.