diff options
| author | Guido Berhoerster <guido+freiesoftware@berhoerster.name> | 2023-08-24 11:31:57 +0200 |
|---|---|---|
| committer | Mike Gabriel <sunweaver@debian.org> | 2023-09-07 18:45:35 +0000 |
| commit | 0fc425f54f5feb12cab5b12ac1c8f5c975828eea (patch) | |
| tree | 33fb40199f49ce05b6e34392abd05e8b7d55bf7f /debian/source | |
| parent | d075d69db15d4529827743dd6e6d9dffddbf340d (diff) | |
| download | debian-edu-fai+itzks-0fc425f54f5feb12cab5b12ac1c8f5c975828eea.tar.gz debian-edu-fai+itzks-0fc425f54f5feb12cab5b12ac1c8f5c975828eea.tar.bz2 debian-edu-fai+itzks-0fc425f54f5feb12cab5b12ac1c8f5c975828eea.zip | |
Disable apt proxy by default
Do not assume faiserver.intern exists. The proxy can be set via
/etc/debian-edu/debian-edu-fai.conf.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions