mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-22 13:18:28 +00:00
4d4ba7b80c
don't bother the user with questions if the uninstaller was accidentally deleted |
||
---|---|---|
.. | ||
packaging | ||
pdfview | ||
vld |