diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 22:15:01 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-12-13 22:15:01 +0100 |
| commit | ccc2678b0d43dd2c265502805312710b3f5d5459 (patch) | |
| tree | c1494617e7002044196438feb2b3e7687c7c8c09 /THANKS | |
| parent | 6c777cf88c84c164e825f6e875bb4d2812892ed9 (diff) | |
| download | patches-ccc2678b0d43dd2c265502805312710b3f5d5459.tar patches-ccc2678b0d43dd2c265502805312710b3f5d5459.tar.gz | |
system: grub: Make sure the font and background image are always found.
* gnu/system/grub.scm (eye-candy): Add 'search --file --set'.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions