Skip to content

Java generators tweaks#851

Merged
HugoMario merged 2 commits intomasterfrom
java-generators-tweaks
Jan 21, 2021
Merged

Java generators tweaks#851
HugoMario merged 2 commits intomasterfrom
java-generators-tweaks

Conversation

@HugoMario
Copy link
Copy Markdown
Contributor

fixed build issues on java generators

@HugoMario HugoMario merged commit f361662 into master Jan 21, 2021
@HugoMario HugoMario deleted the java-generators-tweaks branch January 21, 2021 14:22
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.

1 participant