--- 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