diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-04-08 15:32:49 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-04-14 12:19:06 +0200 |
| commit | 59c2b9fe379e1514f022b94f92a46267c45a647a (patch) | |
| tree | cee602157b15bd5119761dee7b33ccfe068e6e89 /debian/source | |
| parent | b2d9c647a36e389d49178359a8ded10f6173e6fa (diff) | |
| download | debian-edu-fai+itzks-59c2b9fe379e1514f022b94f92a46267c45a647a.tar.gz debian-edu-fai+itzks-59c2b9fe379e1514f022b94f92a46267c45a647a.tar.bz2 debian-edu-fai+itzks-59c2b9fe379e1514f022b94f92a46267c45a647a.zip | |
fai/config/scripts/GRUB_EFI/10-setup: Use <tab> for indentations.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions