diff options
author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-07 02:32:01 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-07-07 02:32:01 +0200 |
commit | 6d67743bb97b9053f5979e122b3bfb2a7f957e6d (patch) | |
tree | 1db40aa6ba7348b48d5a42f7797559d3ca010898 /GNUmakefile | |
parent | d8fa1c646c7e6a8fe5d6235b3e635b30f2bfa745 (diff) |
Make MLKStream#-readChar more robust.
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions