Le 22/11/2022 à 18:53, Kornel Benko a écrit :
Thanks to take care. Unclear how I missed it though ...
git grep is my special ability :) Thanks for the quick fix. JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
