Skip to content
This repository has been archived by the owner on Apr 19, 2022. It is now read-only.

feature: generate ops #2

Merged
merged 1 commit into from
Jun 19, 2020
Merged

feature: generate ops #2

merged 1 commit into from
Jun 19, 2020

Conversation

nrwiersma
Copy link
Member

No description provided.

@nrwiersma nrwiersma merged commit 11fe1f4 into master Jun 19, 2020
@nrwiersma nrwiersma deleted the gen branch June 19, 2020 05:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant