Skip to content

Update dependencies and remove patches that have been integrated. - #77

Merged
ralimi merged 2 commits into
masterfrom
update-vert
Dec 10, 2022
Merged

ralimi merged 2 commits into
masterfrom
update-vert

Conversation

@ralimi

@ralimi ralimi commented Dec 10, 2022

Copy link
Copy Markdown
Collaborator

No description provided.

@ralimi
ralimi merged commit c4c1bc0 into master Dec 10, 2022
@ralimi
ralimi deleted the update-vert branch December 10, 2022 21:25
ralimi added a commit that referenced this pull request Dec 10, 2022
* Update dependencies and remove patches that have been integrated.

* Add default dev container (#76)
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