diff options
Diffstat (limited to 'docs/ignore')
| -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 |