mirror of
https://github.com/keycastr/keycastr.git
synced 2026-05-15 14:15:50 -06:00
Labels
No labels
bug
compatibility
discussion
documentation
enhancement
help wanted
help wanted
investigation needed
pull-request
release
visualizer
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/keycastr#312
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
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?
📋 Pull Request Information
Original PR: https://github.com/keycastr/keycastr/pull/113
Author: @lqez
Created: 5/16/2018
Status: ✅ Merged
Merged: 6/6/2018
Merged by: @elia
Base:
master← Head:mmautner-master📝 Commits (1)
3df504aApply mmautner's pull request #101 manually📊 Changes
2 files changed (+6 additions, -0 deletions)
View changed files
📝
README.md(+6 -0)➕
assets/reposition.gif(+0 -0)📄 Description
This is a modified pull request of #101, by @mmautner.
I re-compressed the gif again to make it smaller (2 MiB -> 0.5 MiB)
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.