Re: [LyX master] Merge branch 'master' of git.lyx.org:lyx

[Jürgen Spitzmüller]

Kornel Benko wrote:
> > As said, I don't think this is correct. Instead, the current platex
> > support  should be fixed.
> 
> Sorry. Also for my next commit I done.

So can you please revert these commits?

Jürgen