Jean-Marc Lasgouttes b7909e7e6c 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.
2015-09-25 12:05:40 +02:00
..
2015-03-03 18:17:37 +01:00