Wed, 17 Apr 2019 15:22:40 +0100 LuaUtil: fix bg
Wuzzy [Wed, 17 Apr 2019 15:22:40 +0100] rev 1811
LuaUtil: fix bg
Wed, 17 Apr 2019 15:22:13 +0100 LuaGuide: fix bg
Wuzzy [Wed, 17 Apr 2019 15:22:13 +0100] rev 1810
LuaGuide: fix bg
Wed, 17 Apr 2019 15:21:22 +0100 TableOfContents: shorten LuaLibraries title
Wuzzy [Wed, 17 Apr 2019 15:21:22 +0100] rev 1809
TableOfContents: shorten LuaLibraries title
Wed, 17 Apr 2019 15:20:41 +0100 LuaLibraries: Shorten title
Wuzzy [Wed, 17 Apr 2019 15:20:41 +0100] rev 1808
LuaLibraries: Shorten title
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip