]> git.lyx.org Git - features.git/commit
Bring back accidentally removed option
authorJuergen Spitzmueller <spitz@lyx.org>
Sat, 13 Jul 2019 16:24:07 +0000 (18:24 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:36 +0000 (15:48 +0200)
commit96609f9940ace377b5d90d77134094aaacc398ca
tree667363f8eb1cd9dad5b381516bcedbe6d8e1beb4
parent77a5a66dd2dbdbefedd65d03fb426ba102992575
Bring back accidentally removed option
lib/latexfonts