Skip to content

Conversation

@towoe
Copy link
Contributor

@towoe towoe commented Jun 24, 2020

Make the generated file a valid JSON.

Make the generated file a valid JSON.
@lenary
Copy link
Contributor

lenary commented Jun 24, 2020

I think I have some more changes in this batch @imphil so let's not tag anything yet, but I'll merge this.

@lenary lenary merged commit eb7e663 into lowRISC:master Jun 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants