diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-07-31 04:15:29 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-07-31 08:56:03 -0400 |
| commit | 73f860db9893deab6aebceb53dd7d0deb662e832 (patch) | |
| tree | 28f05ab4f0bf9af495c807a03a7b0037a6d93fb3 /docs | |
| parent | 5d459d6b07206963a022e9a95ea9d8c18dc0eab8 (diff) | |
Always prefer our headers to system headers
In practice this shouldn't make much difference, but
sometimes our headers might be newer, and we want to
test them.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions