HedgeEditor should be fairly stable by now
authorWuzzy <Wuzzy2@mail.ru>
Tue, 14 Aug 2018 09:15:20 +0200
changeset 13661 21a05ef25328
parent 13660 9b1ba92083f1
child 13662 841ad2ad341d
HedgeEditor should be fairly stable by now
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") .. "|" ..