blob: ad1415c0ba03a877977bb4a872b73f3247c33e9d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
--- src/Gui/Selection.h.orig 2024-03-20 18:17:17 UTC
+++ src/Gui/Selection.h
@@ -25,6 +25,7 @@
#define GUI_SELECTION_H
#include <deque>
+#include <array>
#include <list>
#include <string>
#include <vector>
|
