Skip to content

remove keymap extensions#227

Merged
DetachHead merged 1 commit into
masterfrom
remove-keymap-extensions
Jun 1, 2026
Merged

remove keymap extensions#227
DetachHead merged 1 commit into
masterfrom
remove-keymap-extensions

Conversation

@DetachHead
Copy link
Copy Markdown
Owner

they are bloat and users can install them from the marketplace anyway if they want

@DetachHead DetachHead merged commit 49c202c into master Jun 1, 2026
14 checks passed
@DetachHead DetachHead deleted the remove-keymap-extensions branch June 1, 2026 08:20
DetachHead added a commit that referenced this pull request Jun 1, 2026
…rom the marketplace anyway if they want (#227)

Co-authored-by: detachhead <detachhead@users.noreply.github.com>
(cherry picked from commit 49c202c)
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