diff options
Diffstat (limited to 'crawl-ref/source/libdos.cc')
| -rw-r--r-- | crawl-ref/source/libdos.cc | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/crawl-ref/source/libdos.cc b/crawl-ref/source/libdos.cc index f9683ff8c8..8442bf9e06 100644 --- a/crawl-ref/source/libdos.cc +++ b/crawl-ref/source/libdos.cc @@ -139,16 +139,4 @@ void putwch(unsigned c) putch(static_cast<char>(c)); } -void init_crash_handler() -{ -} - -void dump_crash_info(FILE* file) -{ -} - -void write_stack_trace(FILE* file, int ignore_count) -{ -} - #endif /* #if defined(DOS) */ |