summaryrefslogtreecommitdiff
path: root/desktop
diff options
context:
space:
mode:
authorStephan Bergmann <sbergman@redhat.com>2012-04-25 21:09:11 +0200
committerStephan Bergmann <sbergman@redhat.com>2012-04-25 21:09:11 +0200
commitc389a7c22f709cc897ef33f10b617bf71dfa028e (patch)
tree588a0c1ae1742626818be5df755943a755ac53ba /desktop
parente171c4805d98c345581a581c8d08c87de3759693 (diff)
...and remove duplicate #include <vector> again
Diffstat (limited to 'desktop')
-rw-r--r--desktop/source/app/cmdlineargs.hxx1
1 files changed, 0 insertions, 1 deletions
diff --git a/desktop/source/app/cmdlineargs.hxx b/desktop/source/app/cmdlineargs.hxx
index 72a37a38dfee..a1eebd989c91 100644
--- a/desktop/source/app/cmdlineargs.hxx
+++ b/desktop/source/app/cmdlineargs.hxx
@@ -36,7 +36,6 @@
#include <rtl/ustring.hxx>
#include <osl/mutex.hxx>
#include "boost/optional.hpp"
-#include <vector>
namespace desktop
{