diff options
| author | Tom Stellard <[email protected]> | 2013-10-29 12:48:37 -0400 |
|---|---|---|
| committer | Tom Stellard <[email protected]> | 2013-10-30 16:40:06 -0700 |
| commit | 193594a1b87e4c63cf034fdb6eadeff7b58eed12 (patch) | |
| tree | b8886d428b814921b0d86fea9f184f9fade9effe /.gitignore | |
| parent | 6f3465f340b5e2b1419330f2c1fcb61fbe087af7 (diff) | |
clover: Don't install headers when using the icd
The ICD loader should be responsible for installing headers.
Reviewed and Tested-by: Aaron Watry <[email protected]>
Reviewed-by: Francisco Jerez <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions