debian/cubicweb-ctl.manpages
author Jérémy Bobbio <jeremy.bobbio@irq7.fr>
Mon, 10 Jun 2019 10:53:48 +0200
changeset 12645 4ed5a9e45d19
parent 0 b97547f5f1fa
permissions -rw-r--r--
[pkg] Specify priority “optional” instead of the obsolete “extra” Quoting Lintian, “Since Debian Policy version 4.0.1, the priority extra has been deprecated.” So let's use “optional” instead.

man/cubicweb-ctl.1