# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1534230920 -7200
# Node ID 21a05ef253280d0a8eaaa5d638b1100a2660fff7
# Parent  9b1ba92083f17a8782f27ca11cb34f660fab324a
HedgeEditor should be fairly stable by now

diff -r 9b1ba92083f1 -r 21a05ef25328 share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.lua
--- a/share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.lua	Tue Aug 14 09:05:55 2018 +0200
+++ b/share/hedgewars/Data/Scripts/Multiplayer/HedgeEditor.lua	Tue Aug 14 09:15:20 2018 +0200
@@ -3488,7 +3488,7 @@
 function showHedgeEditorMissionPanel()
 	ShowMission	(
 		loc("HEDGEEDITOR"),
-		loc("An experimental (and buggy!) editing tool for missions and more"),
+		loc("An experimental editing tool for missions and more"),
 		loc("Manual: https://hedgewars.org/hedgeeditor") .. "|" ..
 		" " .. "|" ..
 		loc("Place Girder: Girder") .. "|" ..