diff options
| author | Donald Sharp <sharpd@cumulusnetworks.com> | 2017-10-27 10:12:43 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-27 10:12:43 -0400 |
| commit | f7d9ebf4dafc0d4247ded6afca47c6bc63883555 (patch) | |
| tree | c92d0233fdbd21ac6b2294fc5c0214f3b4ef3887 /doc/code/conf.py | |
| parent | e2e7a81d586678f8801629c0c9b06a1a5fb146b7 (diff) | |
| parent | ba7773964c87019308e65a15b509e9889f7edc49 (diff) | |
Merge pull request #1356 from opensourcerouting/linux-headers
build: include our own copies of some linux kernel headers
Diffstat (limited to 'doc/code/conf.py')
0 files changed, 0 insertions, 0 deletions