mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-16 13:02:49 +00:00
1ad2de5a64
This reverts commit fe17ad57004b3a2e7404e3f7e42941dba77cd5eb. Commit not appropriate after discussion on the list