diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-22 23:16:11 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-22 23:16:11 -0400 |
commit | 7d78f7cea82dc7b4ced77f86a05124add2509390 (patch) | |
tree | b0086c9c7ae73a86bcb619d27dc651c04aaa50f9 /tools | |
parent | 94fce754b1248e4f174054b184e1078a593e1941 (diff) | |
parent | ae8c7939df962cbf660b2b9517fe46be272f58b9 (diff) |
Merge pull request #4428 from lnykryn/ctrl_v2
rename failure-action to emergency-action and use it for ctrl+alt+del burst
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions