]> git.lyx.org Git - lyx.git/commitdiff
Fix bug #7975 following suggestions made by JMarc there.
authorRichard Heck <rgheck@lyx.org>
Mon, 19 Mar 2012 21:57:28 +0000 (17:57 -0400)
committerRichard Heck <rgheck@lyx.org>
Mon, 19 Mar 2012 22:00:25 +0000 (18:00 -0400)

Trivial merge