Skip to content

chore: update build scripts#1342

Merged
Wroud merged 1 commit intodevelfrom
build/update-build-scripts
Dec 5, 2022
Merged

chore: update build scripts#1342
Wroud merged 1 commit intodevelfrom
build/update-build-scripts

Conversation

@Wroud
Copy link
Copy Markdown
Member

@Wroud Wroud commented Dec 5, 2022

No description provided.

@Wroud Wroud self-assigned this Dec 5, 2022
@Wroud Wroud merged commit 4b0f05f into devel Dec 5, 2022
@Wroud Wroud deleted the build/update-build-scripts branch December 5, 2022 16:56
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