On Wed, Jan 17, 2024 at 09:58:43PM +0800, Hongyi Zhao wrote:
> However, I am not sure if this setting is correct and can work as
> expected. Because I don't have much experience in this regard.

I can't be of much help here. Just FYI we are in the middle of slow
transition to a new git server, so you update process might need
some tinkering in near future (we'll announce here and on
announce maillist).

lyx-users mailing list

Reply via email to