Skip to content

Conversation

@mberr
Copy link
Member

@mberr mberr commented Jun 16, 2020

No description provided.

@mberr
Copy link
Member Author

mberr commented Jun 16, 2020

@cthoyt Should I commit generated files?

@cthoyt
Copy link
Member

cthoyt commented Jun 16, 2020

@mberr yes commit away, this repo will also somewhat serve to convey the results

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