Skip to content

Remove left-over destruct file#1282

Merged
voodoos merged 1 commit intoocaml:masterfrom
voodoos:rm-destruct-new
Mar 10, 2021
Merged

Remove left-over destruct file#1282
voodoos merged 1 commit intoocaml:masterfrom
voodoos:rm-destruct-new

Conversation

@voodoos
Copy link
Copy Markdown
Collaborator

@voodoos voodoos commented Mar 10, 2021

No description provided.

Copy link
Copy Markdown
Contributor

@trefis trefis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@voodoos voodoos merged commit 6ede379 into ocaml:master Mar 10, 2021
voodoos added a commit to voodoos/merlin that referenced this pull request Mar 10, 2021
@voodoos voodoos mentioned this pull request Apr 2, 2021
32 tasks
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.

2 participants