[patch] better ctrl-c handling
ctrl-c.patch (text/plain), 1.64 KB, created by Zdeněk Pavlas on 2012-06-15 13:27:36 UTC
(hide)
 
Creator: Zdeněk Pavlas
Created: 2012-06-15 13:27:36 UTC
Size: 1.64 KB
Actions: View | Diff
Attachments on bug 519233: 573779 | 592127