diff options
| author | dzwdz | 2021-07-10 18:37:17 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-10 18:37:17 +0200 |
| commit | e1a46050ac834b0d1a125847a117edb56d53f32a (patch) | |
| tree | 7caf029812b4f4358eff37af86345043395aa78e /grub.cfg | |
| parent | 861c98378a19d39b0a64b1cc20cf2b797a094f09 (diff) | |
fix the `make debug` target
Diffstat (limited to 'grub.cfg')
0 files changed, 0 insertions, 0 deletions