From ad95b68119e011e30f76ee88ac947177dfd8b0e0 Mon Sep 17 00:00:00 2001
From: Sergey Linev <S.Linev@gsi.de>
Date: Fri, 24 Nov 2017 18:39:23 +0100
Subject: [PATCH] webgui: formatting
---
gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx | 1 -
1 file changed, 1 deletion(-)
diff --git a/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx b/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx
index 770cc360934..02e09743346 100644
--- a/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx
+++ b/gui/webdisplay/inc/ROOT/TWebWindowsManager.hxx
@@ -67,7 +67,6 @@ public:
/// Terminate http server and ROOT application
void Terminate();
-
};
} // namespace Experimental
--
GitLab