diff options
| author | dzwdz | 2021-10-13 21:47:47 +0200 |
|---|---|---|
| committer | dzwdz | 2021-10-13 21:47:47 +0200 |
| commit | fbca0c5aed51e46e82741d3ed7d8325361631f94 (patch) | |
| tree | c450a67adb1dc64bee9b28c28cd88cec3375bce6 /grub.cfg | |
| parent | 68c2ef59c06c8c20887b4499cfeabe308171351e (diff) | |
init/shell: implement the `exit` command
Diffstat (limited to 'grub.cfg')
0 files changed, 0 insertions, 0 deletions