mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-22 05:16:21 +00:00
Moving lib/scripts/{GetOptions.pm,listFontWithLang.pl} to development/tools
This commit is contained in:
parent
4d7c7f1e74
commit
b55f735afe
Loading…
Reference in New Issue
Block a user