>>>>> "Jürgen" == Jürgen Spitzmüller <[EMAIL PROTECTED]> writes:
Jürgen> Jürgen Spitzmüller wrote: >> The change was done by Jean-Marc: >> http://www.lyx.org/trac/changeset/15899 Jürgen> Actually, it isn't really clear to me from the archives Jürgen> whether Jean-Marc changed this by accident or intentionally: It was an accident. This change should be reverted. JMarc
