diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-04 21:14:54 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-01-04 21:19:11 +0100 |
| commit | fc58f104c5ade3a0fb6bf39832dd376467603521 (patch) | |
| tree | 6767650b52d722cccb8895e5ab8bb8dcaec09488 /debian/source | |
| parent | 35f00a58e20aa6fd1853c91564147ceb0694fb16 (diff) | |
| download | debian-edu-fai+itzks-fc58f104c5ade3a0fb6bf39832dd376467603521.tar.gz debian-edu-fai+itzks-fc58f104c5ade3a0fb6bf39832dd376467603521.tar.bz2 debian-edu-fai+itzks-fc58f104c5ade3a0fb6bf39832dd376467603521.zip | |
scripts/EDU/98-drop-fai-aptproxy: Drop script. It is actually quite recommendable keeping the FAI proxy (it might be optimized for APT package downloading).
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions