write_nointr takes a const char* buffer
authorJann Horn <jann@thejh.net>
Thu, 11 Jun 2015 12:24:05 +0000 (14:24 +0200)
committerJann Horn <jann@thejh.net>
Thu, 11 Jun 2015 12:24:05 +0000 (14:24 +0200)
commitb736f0f2440aa010f396f682964cb2e35ab934cf
tree095fb6fe0da5737c10b86e1a930b2319795a581c
parent0fa47e6453747e3ef4ab707a5bcb34980a465a75
write_nointr takes a const char* buffer
io.c