mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-14 04:21:56 +00:00
13a7269b9d
This change is just to be more specific, to help when grepping and reading. The idea is from Daniel (https://www.lyx.org/trac/ticket/12420?replyto=11#comment:11). Amends cc787967 (and thus 49a17aaa).