Skip to content

Comments

cut lines into clipboard#70

Merged
zyedidia merged 1 commit intomicro-editor:masterfrom
aerth:cut-lines2
Apr 24, 2016
Merged

cut lines into clipboard#70
zyedidia merged 1 commit intomicro-editor:masterfrom
aerth:cut-lines2

Conversation

@aerth
Copy link
Contributor

@aerth aerth commented Apr 24, 2016

#64 redone for new bindings and structure

@zyedidia zyedidia merged commit 43a69be into micro-editor:master Apr 24, 2016
@zyedidia zyedidia mentioned this pull request Apr 24, 2016
matthias314 pushed a commit to matthias314/micro that referenced this pull request Dec 30, 2024
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