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
Wed, 17 Apr 2019 15:20:19 +0100 LuaAPI: Fix bg
Wuzzy [Wed, 17 Apr 2019 15:20:19 +0100] rev 1807
LuaAPI: Fix bg
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip