Merge branch 'feature/gui-cleanup' of https://github.com/OpenSpace/OpenSpace-Development into feature/gui-cleanup

2026-04-24 04:58:59 -05:00 · 2016-06-29 17:47:13 +02:00
parent 9652e64fd3 a56ce8d3f5
commit 443a0121b1
3 changed files with 5 additions and 3 deletions
@@ -28,6 +28,7 @@
 #include <modules/onscreengui/include/guicomponent.h>

 #include <functional>
+#include <string>
 #include <vector>

 namespace openspace {