diff --git a/doc/debugging_with_gdb.html b/doc/debugging_with_gdb.html index 6b1e2536e0..8be989132d 100644 --- a/doc/debugging_with_gdb.html +++ b/doc/debugging_with_gdb.html @@ -36,8 +36,7 @@ debugged.