diff options
author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2016-07-25 09:52:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-25 09:52:37 +0200 |
commit | 78c44bd6ef0d016622c46c4ad081c22612b7135b (patch) | |
tree | 32244c953158f1b6648f3cadd3669c50fc744846 /orchestrator | |
parent | a9e104b76a416494191303b6d5183af61c91065c (diff) | |
parent | 61df1abdb29d501c3a499cbb11b4e9349e14cc1a (diff) |
Merge pull request #370 from yahoo/aressem/cmake-install-header-files
Install header files as part of make install.
Diffstat (limited to 'orchestrator')
0 files changed, 0 insertions, 0 deletions