From 85c96f6b4f528271dd8343e5045d630654a69121 Mon Sep 17 00:00:00 2001 From: Michael Zanetti Date: Mon, 10 Jul 2017 12:16:37 +0200 Subject: [PATCH] revert change in devicemanager --- libguh/devicemanager.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/libguh/devicemanager.cpp b/libguh/devicemanager.cpp index 5fe1deed..f818ca55 100644 --- a/libguh/devicemanager.cpp +++ b/libguh/devicemanager.cpp @@ -195,7 +195,6 @@ #include #include #include -#include /*! Constructs the DeviceManager with the given \a locale and \a parent. There should only be one DeviceManager in the system created by \l{guhserver::GuhCore}. * Use \c guhserver::GuhCore::instance()->deviceManager() instead to access the DeviceManager. */