diff --git a/coregrind/docs/coregrind_core.html b/coregrind/docs/coregrind_core.html index 34edcf242..0a01661b0 100644 --- a/coregrind/docs/coregrind_core.html +++ b/coregrind/docs/coregrind_core.html @@ -779,58 +779,6 @@ the Valgrind core. Most people won't need to use these. are enabled. Use with caution! Currently known hacks are: