Wuzzy [Mon, 08 Apr 2019 02:59:25 +0100] rev 1723
GearTypes: Add Karma for mines and health crate
Wuzzy [Mon, 08 Apr 2019 02:48:23 +0100] rev 1722
ConfigurationFiles: Clarify Mission
Wuzzy [Mon, 08 Apr 2019 02:38:07 +0100] rev 1721
ConfigurationFiles: Add mission var section
Wuzzy [Mon, 08 Apr 2019 02:26:48 +0100] rev 1720
LuaAPI: fix typo
Wuzzy [Mon, 08 Apr 2019 00:35:37 +0100] rev 1719
GearTypes: Add gstWait for gtMine
Wuzzy [Thu, 04 Apr 2019 14:10:24 +0100] rev 1718
LuaAPI: Add ShowMission convention
Wuzzy [Thu, 04 Apr 2019 13:52:44 +0100] rev 1717
LuaAPI: Fix wrong claims about escape sequences
Wuzzy [Thu, 04 Apr 2019 13:51:53 +0100] rev 1716
LuaAPI: Header formatting
Wuzzy [Thu, 04 Apr 2019 13:50:56 +0100] rev 1715
LuaAPI: Update special escape characters for ShowMission
Wuzzy [Tue, 02 Apr 2019 15:54:02 +0100] rev 1714
GearTypes: update gsttmpFlag for airmine