2020-11-27 TableOfContents: Move translations to coredev
Wuzzy [Fri, 27 Nov 2020 13:49:46 +0100] rev 2201
TableOfContents: Move translations to coredev
2020-11-27 Translations: Add TOC
Wuzzy [Fri, 27 Nov 2020 13:45:03 +0100] rev 2200
Translations: Add TOC
2020-11-27 Translations: copy name
Wuzzy [Fri, 27 Nov 2020 13:43:21 +0100] rev 2199
Translations: copy name
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 tip