On Tue, Sep 08, 2026 at 10:44:04PM +0100, José Matos wrote: > > The third one in our march for ditching runCommand from the source > > code kicks it from python probes. Jose, you might want to have a look. > > > > Pavel > > The code is reasonable and IMHO it makes sense. > If it works fell free to update it,
Landed as e265dd06984e. P -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
