From f6fa901a0906fc6ba8c6d851060d646c3049f8ea Mon Sep 17 00:00:00 2001 From: johannst Date: Fri, 18 Dec 2020 23:42:29 +0000 Subject: deploy: b7f4aee7a60b03db06475f2a017706494d9a2d44 --- tools/gdb.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tools/gdb.html') diff --git a/tools/gdb.html b/tools/gdb.html index b160255..4b955da 100644 --- a/tools/gdb.html +++ b/tools/gdb.html @@ -81,7 +81,7 @@ @@ -293,7 +293,7 @@ executed. To workaround that bug one can create a wrapper function which calls