diff options
| author | Andrew Cady <d@jerkface.net> | 2020-05-05 19:28:39 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2020-05-05 19:28:39 -0400 |
| commit | 04765b26650343d928a5b1d7600748a4b7d78f38 (patch) | |
| tree | bb66f65baf2992f3c27ab6b390210ea755a0d246 /src/grub-efi.sh | |
| parent | ef561d2ac23088a77eea0881f91ab063025c8f2d (diff) | |
fail better if "fsmgr" is not available
Diffstat (limited to 'src/grub-efi.sh')
0 files changed, 0 insertions, 0 deletions