diff options
| author | ruki <[email protected]> | 2020-02-07 23:30:49 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-02-07 22:45:57 +0800 |
| commit | b59b8efc9b851dd0c326efc78187b811f6057d0c (patch) | |
| tree | 0e70c4bed6a3f5330b20507fc5e56dae3eaff9b5 /scripts/makepkg | |
| parent | 5cd2e08845765fb1e21b72f22e2707f7e8233b7b (diff) | |
improve os.exit
Diffstat (limited to 'scripts/makepkg')
0 files changed, 0 insertions, 0 deletions