[PATCH] Support \\*

[José Matos]

On Sat, 2022-07-16 at 12:54 +0200, Kornel Benko wrote:
> We would not need to convert _all_ ERT's, only '\\*'.
> But OK,
> 
> 	Kornel

FWIW I understand the merit of your suggestion.
What I am saying is that it can be tricky to get it right without
getting into data loss scenarios(our bane in lyx2lyx). That is why we
are cautious in this regard.

If it can be done safely I am all for it. :-)
-- 
José Abílio