tree 485d229e0c6b12220e5b94d12c2b85661abf4e9d
parent 566d326e6d87a0af755a315e5c12d503ba908cd5
author Stephan Wahlbrink <sw@wahlbrink.eu> 1550005595 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1551702368 +0100

Bug 544398: [LtxR-Editor, WikidocR-Editor] Move preference pages
'Wikitext/LaTeX+R Options' to preferences of doc language

Change-Id: Ic79bcba8c16f4ef20559bde94d5d899d673abc40