]> Raphaël G. Git Repositories - youtubedl/commitdiff
debian/control: Change priority from extra to optional.
authorRogério Brito <rbrito@ime.usp.br>
Thu, 19 Oct 2017 19:33:02 +0000 (17:33 -0200)
committerRogério Brito <rbrito@ime.usp.br>
Thu, 19 Oct 2017 19:33:02 +0000 (17:33 -0200)
debian/control

index dc2545f3e9897b151e5397e7a65fa28d460c96be..5dc6cb191feb3cbbd1f92bfd16b2c90c81fae8fa 100644 (file)
@@ -1,6 +1,6 @@
 Source: youtube-dl
 Section: web
 Source: youtube-dl
 Section: web
-Priority: extra
+Priority: optional
 Maintainer: Rogério Brito <rbrito@ime.usp.br>
 Build-Depends:
  bash-completion,
 Maintainer: Rogério Brito <rbrito@ime.usp.br>
 Build-Depends:
  bash-completion,