diff options
| author | angristan <angristan@pm.me> | 2019-08-08 22:56:53 +0200 |
|---|---|---|
| committer | angristan <angristan@pm.me> | 2019-08-08 22:56:53 +0200 |
| commit | 70ed237ffcdc4c311a1a219e2e41d3c677d4cf51 (patch) | |
| tree | f15e1e3bc3d4af38217d3f5b4ec977550974d5e0 /.github | |
| parent | 1bfeccf9e76418e22890087438b9dea55f37266d (diff) | |
Make sure kernel headers are installed
Fix #24. On Fedora/CentOS, kernel-headers is a dependency
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions