joao.dubas/ide
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

fíx(mise): remove erlang from plugins list #101

Merged
joao.dubas merged 1 commits from jpd-remove-erlang-from-plugins into main 2024-10-30 18:49:22 +00:00
Conversation 0 Commits 1 Files Changed 1 -1
joao.dubas commented 2024-10-30 18:47:13 +00:00
Owner
Copy Link

mise has native support to install erlang.

`mise` has native support to install `erlang`.
joao.dubas added 1 commit 2024-10-30 18:47:14 +00:00 
`mise` has native support to install `erlang`.
joao.dubas force-pushed jpd-remove-erlang-from-plugins from ae0f8c4dda to 5a4fc457ef 2024-10-30 18:49:13 +00:00 Compare
joao.dubas merged commit 67330111ee into main 2024-10-30 18:49:22 +00:00
joao.dubas deleted branch jpd-remove-erlang-from-plugins 2024-10-30 18:49:22 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
renovate-bot joao.dubas
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: joao.dubas/ide#101
No description provided.
Delete Branch "jpd-remove-erlang-from-plugins"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?