tree 23e50d23a22d01f5ca8072fa50bfe08094445690
parent 163a73faa0e0002c928024eb97ac608020c3ac33
parent 799cda9b6bf6c46a65355a065cc8d41f15c147aa
author Brenden Blanco <bblanco@gmail.com> 1476750891 -0700
committer GitHub <noreply@github.com> 1476750891 -0700

Merge pull request #701 from dkronst/master

Making selection of kernel headers type automatic