« Previous | Next » 

Revision 552328b8

ID552328b86023537253ccfd1332b0174a227e5685
Parent bb921668
Child aebd0e4e

Added by Michael Hanselmann over 8 years ago

cli: Use callback for --priority

If the option is used elsewhere, the numeric value is directly
available.

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Bernardo Dal Seno <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences