correct docs for exitWith: only stdout/stderr are flushed, not all Handles
authorSimon Marlow <marlowsd@gmail.com>
Thu, 24 Jun 2010 13:05:06 +0000 (13:05 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 24 Jun 2010 13:05:06 +0000 (13:05 +0000)

No differences found