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