Xinqi Bao's Git
projects
/
st.git
/ commitdiff
summary
|
log
|
commit
|
diff
|
tree
raw
|
patch
| inline |
side by side
(from:
9523233
)
Make CONTROL + DELETE delete a line
author
Roberto E. Vargas Caballero <
[email protected]
>
Fri, 31 Jan 2014 13:18:25 +0000
(14:18 +0100)
committer
Roberto E. Vargas Caballero <
[email protected]
>
Sun, 2 Feb 2014 18:30:38 +0000
(19:30 +0100)
If CONTROL + INSERT inserts a line then it seems natural CONTROL + DELETE
removes a line.
No differences found