tree c755054aba5dbe368482ea70cdeb392629ec92c9
parent dee6428a71bd094ea1b720c605e69fba52cd3a20
author Kolja Brix <kolja.brix@rwth-aachen.de> 1639848878 +0000
committer Rasmus Munk Larsen <rmlarsen@google.com> 1639848878 +0000

Small cleanup of GDB pretty printer code