mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-18 21:45:24 +00:00
e29574d270
so the previous set of commits over-wrote some of what was there. This restores the status quo ante.