Fri, 27 Nov 2020 13:49:46 +0100 TableOfContents: Move translations to coredev
Wuzzy [Fri, 27 Nov 2020 13:49:46 +0100] rev 2201
TableOfContents: Move translations to coredev
(0) -1000 -300 -100 -30 -10 -1 +1 +10 +30 tip