diff options
Diffstat (limited to 'crawl-ref/source/libgui.cc')
| -rw-r--r-- | crawl-ref/source/libgui.cc | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/crawl-ref/source/libgui.cc b/crawl-ref/source/libgui.cc index 89059f72fe..751392004e 100644 --- a/crawl-ref/source/libgui.cc +++ b/crawl-ref/source/libgui.cc @@ -417,16 +417,4 @@ int stricmp(const char *str1, const char *str2) return (strcmp(str1, str2)); } -void init_crash_handler() -{ -} - -void dump_crash_info(FILE* file) -{ -} - -void write_stack_trace(FILE* file, int ignore_count) -{ -} - #endif // #ifdef UNIX |