From: Juergen Spitzmueller Date: Tue, 20 Nov 2012 12:25:29 +0000 (+0100) Subject: Merge remote-tracking branch 'origin/master' into features/latexargs X-Git-Tag: 2.1.0beta1~1242 X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=7538c953a4dce785c2a62526baf75f2bdfcf7b79;p=features.git Merge remote-tracking branch 'origin/master' into features/latexargs --- 7538c953a4dce785c2a62526baf75f2bdfcf7b79