diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2025-06-20 00:30:29 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2025-06-20 00:30:29 +0200 |
| commit | 0687b3d33fcf42c3022b43f18754b61a1f826a10 (patch) | |
| tree | 8c5e70be78a8bc8591d7a5512d761cbd1d038796 /debian/source/format | |
| parent | 900873fa03146f4e66bbf504238808d30b0ae490 (diff) | |
| download | debian-edu-fai+itzks-0687b3d33fcf42c3022b43f18754b61a1f826a10.tar.gz debian-edu-fai+itzks-0687b3d33fcf42c3022b43f18754b61a1f826a10.tar.bz2 debian-edu-fai+itzks-0687b3d33fcf42c3022b43f18754b61a1f826a10.zip | |
fai/config/debconf/DEBIAN: Additionally to grub-pc, also preseed grub-efi.
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions