mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-17 21:36:00 +00:00
a171c651a6
This reverts commit b3d43404f4649e1a5539f1a819a07f8ae16fad7f.