diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2025-10-11 15:11:13 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-11-24 23:21:56 +0100 |
| commit | f89bbcb653e73640fb79d1f3b040fa3f613281b9 (patch) | |
| tree | 9a18be14733284e3bd8e7438328bc6dea4799a3c /gnu/bootloader/grub.scm | |
| parent | 6be56bcbf8a383a934b6f791c3b01839bb2a99de (diff) | |
image: export efi32-disk-image.
* gnu/build/image.scm (efi32-disk-image): Export.
Change-Id: I45ddcdafab12cdcc8f33a574f55387651f1048f8
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/bootloader/grub.scm')
0 files changed, 0 insertions, 0 deletions