diff options
| author | Michael Vogt <mvo@debian.org> | 2013-11-29 20:08:56 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-11-29 20:08:56 +0100 |
| commit | 804d195655c48a448d576b2b196d18c2c816e824 (patch) | |
| tree | 03ab38150983f51a38577ea2a26e14a3eaeacd08 /cmdline/makefile | |
| parent | b12fe5d5ab480f63e2f656a308242a4529f2908b (diff) | |
reset terminal on error (closes: #730795)
Diffstat (limited to 'cmdline/makefile')
0 files changed, 0 insertions, 0 deletions