diff options
author | Rogério Brito <rbrito@ime.usp.br> | 2017-10-19 17:33:02 -0200 |
---|---|---|
committer | Rogério Brito <rbrito@ime.usp.br> | 2017-10-19 17:33:02 -0200 |
commit | 8025f825f539812232cc91b1877d14e91f341914 (patch) | |
tree | dae8aec59cbe72b80787f842067b5bdbf08cec40 | |
parent | ed1c1d2a80ce1ad325853e6c59a1fbaf2156adcc (diff) | |
download | youtube-dl-8025f825f539812232cc91b1877d14e91f341914.zip youtube-dl-8025f825f539812232cc91b1877d14e91f341914.tar.gz youtube-dl-8025f825f539812232cc91b1877d14e91f341914.tar.bz2 |
debian/control: Change priority from extra to optional.
-rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index dc2545f..5dc6cb1 100644 --- a/debian/control +++ b/debian/control @@ -1,6 +1,6 @@ Source: youtube-dl Section: web -Priority: extra +Priority: optional Maintainer: Rogério Brito <rbrito@ime.usp.br> Build-Depends: bash-completion, |