Le 25/09/2015 12:13, Jean-Marc Lasgouttes a écrit :
commit b7909e7e6ce001e39424d4825383e1bf619acd0c
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date:   Fri Sep 25 10:58:17 2015 +0200

     Remove support for precompiled headers for autotools

     This was turned off by default for a long time, and it does not seem
     to have any use these days.

This follows a discussion I had with Lars two days ago in Paris...

The same can be done to cmake (did I break it already by removing pch.h files?)

JMarc

Reply via email to