diff options
author | 2016-09-22 11:11:00 +0200 | |
---|---|---|
committer | 2016-09-22 11:11:00 +0200 | |
commit | 74f355b9774f3d906ca9a29896eef1463870a043 (patch) | |
tree | e9e5abfa512cdf89aa8528b04a4e592e23d78da5 /tools/run_tests/sanity/check_sources_and_headers.py | |
parent | f4a745a6f8b4361573f665a819ea83539d1c749f (diff) | |
parent | 6800e3d45e053b191cadb1e4da913a5dbfc189aa (diff) |
Merge pull request #8158 from jtattermusch/no_libc_dev_on_coreclr
Dont require libc-dev on coreclr
Diffstat (limited to 'tools/run_tests/sanity/check_sources_and_headers.py')
0 files changed, 0 insertions, 0 deletions