diff -r e2e372449c19 -r c75781937859 project_files/hedgewars.pro
--- a/project_files/hedgewars.pro	Fri Nov 03 13:40:30 2017 +0100
+++ b/project_files/hedgewars.pro	Mon Nov 06 22:26:54 2017 +0100
@@ -117,6 +117,7 @@
     ../QTfrontend/servermessages.h \
     ../QTfrontend/ui/widget/roomnameprompt.h \
     ../QTfrontend/weapons.h \
+    ../QTfrontend/ui/widget/MinesTimeSpinBox.h \
     ../QTfrontend/net/hwmapoptimizer.h
 
 
@@ -216,6 +217,7 @@
     ../QTfrontend/ui/widget/feedbackdialog.cpp \
     ../QTfrontend/ui/widget/lineeditcursor.cpp \
     ../QTfrontend/ui/widget/roomnameprompt.cpp \
+    ../QTfrontend/ui/widget/MinesTimeSpinBox.cpp \
     ../QTfrontend/net/hwmapoptimizer.cpp