diff options
author | Sadie Powell <sadie@witchery.services> | 2022-01-03 16:24:04 +0000 |
---|---|---|
committer | Sadie Powell <sadie@witchery.services> | 2022-01-03 16:27:15 +0000 |
commit | aee1e53cb3bec6d30f171bfbc14a69be46a3f31c (patch) | |
tree | 62280ac77eb40253981ca2a747fc30508c736724 /.github | |
parent | fd1ca96e2c1013cc747f0bc6def1e5da13b44386 (diff) |
Remove support for precompiled headers.
This might have been useful two decades ago but on recent hardware
this just makes builds take longer than without them.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions