diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2020-10-06 01:41:09 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2020-10-06 01:56:46 +0200 |
| commit | 82e8fe09e58b300abbf8b2e064f96788279b88f0 (patch) | |
| tree | da2dcde96ce020f7af2cf6641d9e157ffe6b7192 /debian | |
| parent | 347a0fbf06b487c04d7e700c704c2c90df9ef19c (diff) | |
| download | debian-edu-fai+itzks-82e8fe09e58b300abbf8b2e064f96788279b88f0.tar.gz debian-edu-fai+itzks-82e8fe09e58b300abbf8b2e064f96788279b88f0.tar.bz2 debian-edu-fai+itzks-82e8fe09e58b300abbf8b2e064f96788279b88f0.zip | |
fai/config/debconf/DEBIAN: Re-enable grub-pc seed.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions