Good catch Jürgen. Jmarc
Le 8 août 2022 10:17:25 GMT+02:00, jspi...@gmail.com a écrit : >Am Montag, dem 08.08.2022 um 10:14 +0200 schrieb jspi...@gmail.com: >> I corrected this for autotools. Something similar probably needs to >> be >> done for cmake. > -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
