diff options
| author | James Almer <[email protected]> | 2018-09-02 17:29:54 -0300 |
|---|---|---|
| committer | James Almer <[email protected]> | 2018-09-02 17:29:54 -0300 |
| commit | ce47f1589e9f5a6cf8372a269bdd862ff0cc3f91 (patch) | |
| tree | 04b8347be2223de39a52274727c45743f0697031 /doc/examples | |
| parent | 73d193d1d0ff62a029a905d1404c0fd357f4c880 (diff) | |
| parent | 5cb62f9d952e24fff62737a57e89cf43d9c2333a (diff) | |
Merge commit '5cb62f9d952e24fff62737a57e89cf43d9c2333a'
* commit '5cb62f9d952e24fff62737a57e89cf43d9c2333a':
configure: Rename check_header() --> check_headers()
Merged-by: James Almer <[email protected]>
Diffstat (limited to 'doc/examples')
0 files changed, 0 insertions, 0 deletions