mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-19 14:30:00 +00:00
1d3e3073e3
I leave it in trunk for now until we have a real fix or it is decided to remove it there also. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/branches/BRANCH_1_4_X@17030 a592a061-630c-0410-9148-cb99ea01b6c8