diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-03-04 11:43:04 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-03-04 11:43:23 +0100 |
| commit | b2d9c647a36e389d49178359a8ded10f6173e6fa (patch) | |
| tree | be6bc6654f7260dfa65e278773641f5a0d7c976a /debian/source | |
| parent | 53ff6094b5ba69dee09694d344c5b87b9bf9d620 (diff) | |
| download | debian-edu-fai+itzks-b2d9c647a36e389d49178359a8ded10f6173e6fa.tar.gz debian-edu-fai+itzks-b2d9c647a36e389d49178359a8ded10f6173e6fa.tar.bz2 debian-edu-fai+itzks-b2d9c647a36e389d49178359a8ded10f6173e6fa.zip | |
bin/debian-edu-faiinstall: Drop unused $gtkvideo variable.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions