diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-08 20:19:43 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-09-08 20:33:56 +0100 |
| commit | ab314e8299bfad7e8d57033d1b4363aad7d11381 (patch) | |
| tree | 34fea2ac2f97e33e06225f45ee2eb74d78f2e1b4 /debian | |
| parent | 92c6361c7b5b37c51ebeebfd089a578a15d1191d (diff) | |
control: Drop redundant Priority field
Found by lintian.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/control | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 4b5fa52..5ec2237 100644 --- a/debian/control +++ b/debian/control @@ -61,7 +61,6 @@ Depends: ${misc:Depends}, perl, git-core, gpgv, chiark-utils-bin, liblocale-gettext-perl Recommends: dgit Architecture: all -Priority: optional Description: dgit server backend infrastructure This package contains tools which are useful for setting up a dgit git repository server. You probably want dgit, the client package, |