1. 2023-10-18 Re: Using LyX as merge tool for git lyx-users Pavel Sanda 2. 2023-10-17 Re: Using LyX as merge tool for git lyx-users Markus Oppmann 3. 2023-10-17 Re: Using LyX as merge tool for git lyx-users Pavel Sanda 4. 2023-10-16 Re: Using LyX as merge tool for git lyx-users Dan via lyx-users 5. 2023-10-15 Using LyX as merge tool for git lyx-users Markus Oppmann