diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-11-08 22:15:16 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-11-08 22:15:16 +0100 |
| commit | dd3bb571fb73540a41d766151941bc4d6c1777cb (patch) | |
| tree | 052592ec2d0f20d09a5cc2d16e92d234db92ea65 /build-0.3/c/gnu/configuration.make | |
| parent | 7a166289d3e16874955fe8af4c7dc31bce7dbb5e (diff) | |
debian/control: Replace Priority extra with optional
Diffstat (limited to 'build-0.3/c/gnu/configuration.make')
0 files changed, 0 insertions, 0 deletions