diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-09-09 09:39:09 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-09-09 09:39:09 +0200 |
| commit | f582ae71c56c17555e8a7c71912f0e98b3666060 (patch) | |
| tree | b9d07a035ff11f267ef8544604fb735956eda2e6 /debian/source | |
| parent | 13ff8cfbe02ad7328f51331984ea26c83738fbef (diff) | |
d/control: Change priority from deprecated extra to optional
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions