From e77ffe2c72dc32cbcb47b8771750cbd9addc40ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Herm=C3=A8s=20B=C3=A9lusca-Ma=C3=AFto?= Date: Sun, 18 Nov 2018 20:58:31 +0100 Subject: [PATCH] [FILEBROWSER] Remove a duplicated include. Noticed by Manuel Oppermann (see ros-dev ML). --- base/shell/filebrowser/filebrowser.c | 1 - 1 file changed, 1 deletion(-) diff --git a/base/shell/filebrowser/filebrowser.c b/base/shell/filebrowser/filebrowser.c index c6da0472516..f6cace8be47 100644 --- a/base/shell/filebrowser/filebrowser.c +++ b/base/shell/filebrowser/filebrowser.c @@ -24,7 +24,6 @@ #include #include #include -#include #include