diff options
author | Adam Borowski <kilobyte@angband.pl> | 2011-12-02 03:12:24 +0100 |
---|---|---|
committer | Adam Borowski <kilobyte@angband.pl> | 2011-12-02 12:41:07 +0100 |
commit | 71fce99aeca22434565f7d905e5255bbfde39178 (patch) | |
tree | 526ad70ba8165b0e8479bb52ada196586d8b06ac /crawl-ref/source/libw32c.h | |
parent | 4d8a9aa4d283e10a3f8f348fe059f699609eb16d (diff) | |
download | crawl-ref-71fce99aeca22434565f7d905e5255bbfde39178.tar.gz crawl-ref-71fce99aeca22434565f7d905e5255bbfde39178.zip |
Remove redundant platform specific display flushing.
It's already done in update_screen() anyway.
Diffstat (limited to 'crawl-ref/source/libw32c.h')
-rw-r--r-- | crawl-ref/source/libw32c.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crawl-ref/source/libw32c.h b/crawl-ref/source/libw32c.h index 64cccd2e03..90d26f36ce 100644 --- a/crawl-ref/source/libw32c.h +++ b/crawl-ref/source/libw32c.h @@ -5,7 +5,6 @@ #include "libconsole.h" -bool set_buffering(bool value); #endif #endif |