mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-21 23:09:40 +00:00
4ac32ef351
This is not needed bacause the command 'grep' is not so language sensitive as pcregrep. It's only for the sake of consistence