Tue, 13 Oct 2020 13:50:06 +0200 LuaGlobals: fix gfBorder
Wuzzy [Tue, 13 Oct 2020 13:50:06 +0200] rev 2196
LuaGlobals: fix gfBorder
Mon, 12 Oct 2020 02:15:14 +0200 LuaRules: plusminus
Wuzzy [Mon, 12 Oct 2020 02:15:14 +0200] rev 2195
LuaRules: plusminus
Mon, 12 Oct 2020 02:12:46 +0200 TableOfContents: add LuaRules
Wuzzy [Mon, 12 Oct 2020 02:12:46 +0200] rev 2194
TableOfContents: add LuaRules
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 tip