Re: warning: unknown warning option '-Wno-deprecated-copy'

[Jean-Marc Lasgouttes]

Le 16/10/2020 à 12:14, Stephan Witt a écrit :

Yes, it works. Thank you.

Thank you for proposing the right idea :)

JMarc

--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel