diff options
Diffstat (limited to 'src/gui/widgets/windowcontainer.h')
| -rw-r--r-- | src/gui/widgets/windowcontainer.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/gui/widgets/windowcontainer.h b/src/gui/widgets/windowcontainer.h index 0c04849e6..47c1b7ffd 100644 --- a/src/gui/widgets/windowcontainer.h +++ b/src/gui/widgets/windowcontainer.h @@ -25,8 +25,6 @@ #include "gui/widgets/container.h" -#include <set> - /** * A window container. This container adds functionality for more convenient * widget (windows in particular) destruction. |