Precompiled headers

We once played with precompiled headers, and finally had to throw them out in disgust. They’re just not versatile enough to be of much use, and they really don’t play well in multiplatform builds.

Instead, we replaced them with the composite files, which actually resulted in an even greater compilation performance gain than the precompiled headers, and it is truly multiplatform and works flawlessly.

Putting precompiled headers back into the mix wouldn’t result in any additional performance gains.

David