mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-16 21:10:26 +00:00
d29bb7fac7
should be needed again.
Some scripts I found useful when working on LyX