On 12/5/20 2:43 PM, Pavel Sanda wrote: > On Sat, Dec 05, 2020 at 07:48:23PM +0100, Thibaut Cuvelier wrote: >> What do you think of it? I already made a quick search in the mailing list, >> but I did not the topic being discussed. > Looks fine to me as well, though if you don't have strong preference, > gitlab might be ideologically better option :)
Yes, that's true. I tend to forget which is which. Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel