On 2016-01-08, Georg Baum wrote: ...
> Yes, the detection order in lib/configure.py is wrong. >> Should I file a bug report? > You couldd as well fix it directly in configure.py. Done. [9ff11a7935/lyxgit] Günter
On 2016-01-08, Georg Baum wrote: ...
> Yes, the detection order in lib/configure.py is wrong. >> Should I file a bug report? > You couldd as well fix it directly in configure.py. Done. [9ff11a7935/lyxgit] Günter