From b6aebc41177dec5d7dddcc7594e5435d54f17963 Mon Sep 17 00:00:00 2001 From: regp Date: Sat, 11 Apr 2026 17:27:02 +0300 Subject: [PATCH] tools: fix outdated filename in std_gdb_pretty_printers.py comment --- tools/std_gdb_pretty_printers.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/std_gdb_pretty_printers.py b/tools/std_gdb_pretty_printers.py index a564de7c18429e4f1c3901c9b18728c7250ad0ae..d5cc619c01cd9bbbcd6ddfbe5439c467a9012a77 100644 --- a/tools/std_gdb_pretty_printers.py +++ b/tools/std_gdb_pretty_printers.py @@ -1,5 +1,5 @@ # pretty printing for the standard library. -# put "source /path/to/stage2_gdb_pretty_printers.py" in ~/.gdbinit to load it automatically. +# put "source /path/to/std_gdb_pretty_printers.py" in ~/.gdbinit to load it automatically. import re import gdb.printing -- 2.54.0