# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1548137827 -3600
# Node ID 46ac6fbde6f6984cd4563b33cae51ddf72df4959
# Parent  93a7b78259fb008028d50f10e83b99226bf05fa8
HedgeEditor: Force-set AirMinesNum to 0

diff -r 93a7b78259fb -r 46ac6fbde6f6 share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.lua
--- a/share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.lua	Tue Jan 22 07:15:55 2019 +0100
+++ b/share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.lua	Tue Jan 22 07:17:07 2019 +0100
@@ -3487,6 +3487,7 @@
 
 	Explosives = 0
 	MinesNum = 0
+	AirMinesNum = 0
 
 	EnableGameFlags(gfInfAttack, gfDisableWind)