From 12a1525ce310331c6f6e2a5bb03adf82ef968332 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Tue, 8 Jan 2019 14:15:36 +0100
Subject: [PATCH] Removed WhatsThisGenerator from Baseinterface

---
 RulerPlugin.cc | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/RulerPlugin.cc b/RulerPlugin.cc
index 15aae1f..55bdf4c 100644
--- a/RulerPlugin.cc
+++ b/RulerPlugin.cc
@@ -39,18 +39,10 @@
 *                                                                            *
 \*===========================================================================*/
 
-/*===========================================================================*\
-*                                                                            *
-*   $Revision$                                                       *
-*   $LastChangedBy$                                                *
-*   $Date$                     *
-*                                                                            *
-\*===========================================================================*/
-
-
 #include "RulerPlugin.hh"
 
 #include <OpenFlipper/BasePlugin/PluginFunctions.hh>
+#include <OpenFlipper/BasePlugin/WhatsThisGenerator.hh>
 #include <OpenFlipper/common/GlobalOptions.hh>
 
 //------------------------------------------------------------------------------
-- 
GitLab