]> git.lyx.org Git - lyx.git/blob - 3rdparty/mythes/.gitignore
We don't need to reload a dirty file. Fixes #11788.
[lyx.git] / 3rdparty / mythes / .gitignore
1 liblyxmythes.a