diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-11-25 13:55:29 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-11-25 13:55:29 +0100 |
| commit | 21a5043a7cc9eae9905dc5ec608ef86a643b2289 (patch) | |
| tree | 8919eba6c0d66a9f5dc10ed7ea4947508c3e5d28 /imdi/imdi.h | |
| parent | 850d3b08b58aca2fc8d8374abb1fdf5214402ab4 (diff) | |
d/control: Replace Priority extra with optional
Diffstat (limited to 'imdi/imdi.h')
0 files changed, 0 insertions, 0 deletions