commit | a25b6bc95c5e996f0517d90bb48b6eee31def7d4 | [log] [tgz] |
---|---|---|
author | Stephan Wahlbrink <sw@wahlbrink.eu> | Tue Feb 12 22:06:35 2019 +0100 |
committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Mar 04 13:26:08 2019 +0100 |
tree | 485d229e0c6b12220e5b94d12c2b85661abf4e9d | |
parent | 566d326e6d87a0af755a315e5c12d503ba908cd5 [diff] |
Bug 544398: [LtxR-Editor, WikidocR-Editor] Move preference pages 'Wikitext/LaTeX+R Options' to preferences of doc language Change-Id: Ic79bcba8c16f4ef20559bde94d5d899d673abc40