mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-16 07:55:41 +00:00
333e023e82
Rename the placeholde $$User to $$UserDir Make it more readable. Suggestion from Stephan Witt. |
||
---|---|---|
.. | ||
lyxrc.dist.in |