diff options
| author | natrixaeria <upezu@student.kit.edu> | 2019-11-15 21:38:40 +0100 |
|---|---|---|
| committer | natrixaeria <upezu@student.kit.edu> | 2019-11-15 21:38:40 +0100 |
| commit | 5e849967177a2ea639e783e847974db00cce2fff (patch) | |
| tree | 1e4f937a8d733765dd7e896ac18d22cefa138237 /kernel/src/grub.cfg | |
| parent | fb02b294051e28137316225569b81a690e554630 (diff) | |
| parent | 564dc1d1407055777b400e42f9a86a58b9921473 (diff) | |
Merge branch 'master' of dennis:/var/repos/uff-os
Diffstat (limited to 'kernel/src/grub.cfg')
0 files changed, 0 insertions, 0 deletions