diff options
| author | dzwdz | 2021-07-18 14:16:24 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-18 14:16:24 +0200 |
| commit | ed12953042ec38244f3ab93d67f4c2dea6f1fee3 (patch) | |
| tree | 7984f01c156535fb57104db9cbcf0f8a9112b7ed /grub.cfg | |
| parent | e333a43fb7c1e39418cfcc1be660d5006903c42a (diff) | |
move all kernel sources to src/kernel/
Diffstat (limited to 'grub.cfg')
0 files changed, 0 insertions, 0 deletions