mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-29 12:48:33 +00:00
faf40fb408
Also fix a glitch in non-refstyle import (getOpt() returns the option with delimiter, so do not add them in ERT once more) Candidate for stable