diff options
| author | Andrei Karas <akaras@inbox.ru> | 2018-02-14 01:27:00 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2018-02-14 01:27:00 +0300 |
| commit | f3c6fa172c4058bfdc7ceb08a6476fd2308038ff (patch) | |
| tree | 828f040d797fb5db0788fb074b5f3b14d10901b7 /src/gui/widgets/windowcontainer.h | |
| parent | 4bd5a79e75da10d976a8d30fafdd3c5273442bab (diff) | |
| download | manaplus-f3c6fa172c4058bfdc7ceb08a6476fd2308038ff.tar.gz manaplus-f3c6fa172c4058bfdc7ceb08a6476fd2308038ff.tar.bz2 manaplus-f3c6fa172c4058bfdc7ceb08a6476fd2308038ff.tar.xz manaplus-f3c6fa172c4058bfdc7ceb08a6476fd2308038ff.zip | |
Remove extra includes.
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. |