>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Jean-Marc, Peter, I don't think this has been committed, yet. It is in: http://www.lyx.org/trac/changeset/17044 JMarc
>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Jean-Marc, Peter, I don't think this has been committed, yet. It is in: http://www.lyx.org/trac/changeset/17044 JMarc