| commit | 08350fb639a54b8977784f09ee1741441650724f | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Aug 26 14:00:39 2013 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Aug 26 14:00:39 2013 +0300 |
| tree | 4bbed8066bf2180adfaa20a84fae46d104920d8b | |
| parent | 6d0f0f299b014e79f6079901b560e938e0c5d8df [diff] |
#18839: document that sys.exit() will not accept a non-integer numeric value as exit status.