From 9bc7a6efca88766b7c36f86ef54c3dfe4202310b Mon Sep 17 00:00:00 2001
From: Thilo Graf <dbt@novatux.de>
Date: Wed, 4 Sep 2013 09:15:09 +0200
Subject: [PATCH] CPlugins: remove dub included header

---
 src/gui/plugins.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/gui/plugins.cpp b/src/gui/plugins.cpp
index 32640b4eb..0c5022ad8 100644
--- a/src/gui/plugins.cpp
+++ b/src/gui/plugins.cpp
@@ -47,7 +47,6 @@
 #include <stdio.h>
 #include <fcntl.h>
 #include <sys/ioctl.h>
-#include <sys/types.h>
 #include <signal.h>
 #include <errno.h>
 #include <sys/wait.h>