From f237848f1594181389f002e1ff02113c0b1b3d03 Mon Sep 17 00:00:00 2001 From: Gabriel Studer <gabriel.studer@unibas.ch> Date: Tue, 23 Aug 2022 10:36:03 +0200 Subject: [PATCH] remove unnecessary include --- modules/gui/src/python_shell/python_shell_widget.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/gui/src/python_shell/python_shell_widget.cc b/modules/gui/src/python_shell/python_shell_widget.cc index 023bdb22f..d5a660a8e 100644 --- a/modules/gui/src/python_shell/python_shell_widget.cc +++ b/modules/gui/src/python_shell/python_shell_widget.cc @@ -34,12 +34,12 @@ #include <iostream> +#include <QDir> #include <QApplication> #include <QFontMetrics> #include <QClipboard> #include <QPainter> #include <QScrollBar> -#include <QDirModel> #include <QStringList> #include <QDebug> #include <QMimeData> -- GitLab