diff options
| author | dzwdz | 2021-10-05 20:57:01 +0200 |
|---|---|---|
| committer | dzwdz | 2021-10-05 20:57:01 +0200 |
| commit | 8d3ef773f8daea3a0c2b110ab48f235f5d2bf22d (patch) | |
| tree | 7e21974cf6eb51439ac402902f92c418e72d3863 /grub.cfg | |
| parent | bb2c65663dd03aaf1948c36c7e6006af7e3840a6 (diff) | |
kill the process that caused an exception instead of panicking
Diffstat (limited to 'grub.cfg')
0 files changed, 0 insertions, 0 deletions