fix file IO: void* instead of char*
authorJann Horn <jann@thejh.net>
Sat, 27 Jul 2013 10:21:37 +0000 (12:21 +0200)
committerJann Horn <jann@thejh.net>
Sat, 27 Jul 2013 10:21:37 +0000 (12:21 +0200)

No differences found