diff options
| author | James Almer <jamrial@gmail.com> | 2018-09-02 17:45:23 -0300 |
|---|---|---|
| committer | James Almer <jamrial@gmail.com> | 2018-09-02 17:45:23 -0300 |
| commit | 64425e005edf3bdd77c34c078c3e74ab5ecef557 (patch) | |
| tree | bd02570dca19753db1f32ec58543e459b809073e | |
| parent | 26148e923613e718787c6fc4bf3f64e8909f597c (diff) | |
| parent | ad5bbc408637cffd4cc2ba990abef529cf5fa6a3 (diff) | |
Merge commit 'ad5bbc408637cffd4cc2ba990abef529cf5fa6a3'
* commit 'ad5bbc408637cffd4cc2ba990abef529cf5fa6a3':
configure: Rename require_header() --> require_headers()
This commit is a noop, see ce47f1589e9f5a6cf8372a269bdd862ff0cc3f91
Merged-by: James Almer <jamrial@gmail.com>
0 files changed, 0 insertions, 0 deletions