diff options
author | Bernhard Urban <bernhard.urban@xamarin.com> | 2016-12-12 16:32:23 +0300 |
---|---|---|
committer | Bernhard Urban <bernhard.urban@xamarin.com> | 2016-12-14 14:43:51 +0300 |
commit | 1940d5f89b78e149aea397d7c0d9e3b0fadc773b (patch) | |
tree | 97095c883015e4fad757592b4d8f3fd38e8423a2 /docs | |
parent | 1bc7eca560fb35c7bfcc86a7ffefac19f8424021 (diff) |
[exception] rename mono_handle_native_sigsegv -> mono_handle_native_crash
Diffstat (limited to 'docs')
-rw-r--r-- | docs/ignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ignore b/docs/ignore index 7bff64fc91f..5946522e137 100644 --- a/docs/ignore +++ b/docs/ignore @@ -326,7 +326,7 @@ mono_poll mono_dynamic_stream_reset mono_domain_get_tls_offset mono_domain_add_class_static_data -mono_handle_native_sigsegv +mono_handle_native_crash mono_set_config_dir mono_profiler_coverage_alloc mono_profiler_coverage_free |