>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> Juergen Spitzmueller wrote: >> Works for me as well. Georg> Fine. Is this OK for 1.4.0? I do not like the hardcoding of lyx13x. If you are going to do that, why not directly add lyx13x to the list of backends? Wouldn't that be less code? JMarc
