Skip to content
GitLab
Explore
Sign in
Bliss
bliss
Merge requests
!1291
make ctrl-c to erase current line (if not in execution)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Cyril Guilloud
requested to merge
shell_ctrl-c
into
master
May 13, 2019
Overview
1
Commits
1
Pipelines
2
Changes
1
Expand
make ctrl-c to erase current line (even if not in execution)
fixes
#729 (closed)
Edited
May 13, 2019
by
Cyril Guilloud
Merge request reports