]> git.lyx.org Git - features.git/history - 3rdparty/mythes/.gitignore
Amend(2) 2dbf3515:
[features.git] / 3rdparty / mythes / .gitignore
2020-04-23 Jean-Marc LasgouttesIgnore some more files when building in source tree