diff options
author | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-03-08 21:17:27 +0100 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-03-29 15:31:18 +0200 |
commit | 6a790fe349fa4320337d1773bc7b064adbbac40e (patch) | |
tree | ccb0e6876d7b3c69c457711e0f4184f00b49115f /gnu/packages/lean.scm | |
parent | 0c962369e9a43dfca43f50a4f921bfcce1c7609a (diff) | |
download | guix-patches-6a790fe349fa4320337d1773bc7b064adbbac40e.tar guix-patches-6a790fe349fa4320337d1773bc7b064adbbac40e.tar.gz |
gnu: bootloader: Add grub-minimal-bootloader.
* gnu/bootloader/grub.scm (grub-minimal-bootloader): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions