mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-22 16:37:28 +00:00
7a9aa76a1a
The "!" line takes precedence, since it is first. (cherry picked from commit c6d4380c891e3c1f9381cc4065409e30d330f622)