diff options
| author | dzwdz | 2021-07-10 20:10:37 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-10 20:10:37 +0200 |
| commit | 2c3de0bdb63f933fecf7cf717396a16a29e38e10 (patch) | |
| tree | dde96841cb6d086beccb77a90a80d0efd4ff51d2 /grub.cfg | |
| parent | a90f613e50b1677b03d19793039e0769a09caf9f (diff) | |
implement a basic linter
Currently it just checks if the kernel doesn't accidentally use
arch-dependent headers.
Diffstat (limited to 'grub.cfg')
0 files changed, 0 insertions, 0 deletions