diff options
| author | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2016-11-25 13:07:57 +0100 |
|---|---|---|
| committer | Tim Graham <timograham@gmail.com> | 2016-11-25 07:07:57 -0500 |
| commit | d391b3a85ba1166dd6c3d0c3005344ce93f22bef (patch) | |
| tree | 73de162badaf30cc5208729b6e15bf848a0abcdf /docs | |
| parent | 9a49fdcd8f176d033dd2602825a2103ff7273af4 (diff) | |
Refs #16682 -- Replaced signal number with equivalent signal.SIGINT.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions