diff options
| author | Rickard Green <[email protected]> | 2016-10-21 14:05:11 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-11-22 16:21:09 +0100 |
| commit | dd2e99bdd726d4322c8e07c81731ad66ae05176e (patch) | |
| tree | 8ed35c084215aaf1a30d774f2126ab0b3646b7ec /make/save_args | |
| parent | a532df810da29fcb28d142d244b6b3c812fa33ca (diff) | |
| download | otp-dd2e99bdd726d4322c8e07c81731ad66ae05176e.tar.gz otp-dd2e99bdd726d4322c8e07c81731ad66ae05176e.tar.bz2 otp-dd2e99bdd726d4322c8e07c81731ad66ae05176e.zip | |
Fix send of exit signal to process executing dirty
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions