diff options
| author | Eric Engestrom <[email protected]> | 2017-07-10 13:27:25 +0100 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2017-07-14 13:23:54 +0100 |
| commit | b50b4b6f84dc990b870d2f6cf59fd758c1607fa0 (patch) | |
| tree | 58aef509af45ff6dcf144316ad3bbe8b86ccacfa /src/mapi | |
| parent | 5cd4ece34ebdc1383f1e2376c88097d06544e2f6 (diff) | |
scons: split out check_header() helper
Signed-off-by: Eric Engestrom <[email protected]>
Diffstat (limited to 'src/mapi')
0 files changed, 0 insertions, 0 deletions