Skip to content
This repository was archived by the owner on Apr 24, 2021. It is now read-only.

Remove unmonad migration setup & clean up#94

Merged
chenglou merged 1 commit into
masterfrom
cleanup-after-nomonad
Apr 7, 2021
Merged

Remove unmonad migration setup & clean up#94
chenglou merged 1 commit into
masterfrom
cleanup-after-nomonad

Conversation

@chenglou
Copy link
Copy Markdown
Member

@chenglou chenglou commented Apr 7, 2021

Finalizes #87

@chenglou chenglou merged commit bfae3ae into master Apr 7, 2021
@chenglou chenglou deleted the cleanup-after-nomonad branch April 7, 2021 10:09
chenglou added a commit to chenglou/rescript-editor-support that referenced this pull request Apr 24, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant