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). Pavel -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
