diff libgui/graphics/PushTool.h @ 31645:bd9da634f00d

maint: Merge stable to default.
author John W. Eaton <jwe@octave.org>
date Tue, 06 Dec 2022 15:17:16 -0500
parents ca7d58406f82 9089bd969b37
children 431f80aba37a
line wrap: on
line diff
--- a/libgui/graphics/PushTool.h	Tue Dec 06 15:16:16 2022 -0500
+++ b/libgui/graphics/PushTool.h	Tue Dec 06 15:17:16 2022 -0500
@@ -31,10 +31,6 @@
 namespace octave
 {
   class interpreter;
-}
-
-namespace octave
-{
 
   class PushTool : public ToolBarButton<uipushtool>
   {