« Previous | Next » 

Revision e247747c

IDe247747c9e701832287bd70a3bd5c67be21a87e5

Added by Iustin Pop almost 9 years ago

Add CLI-level option to override the priority

This just defined the new priority, with the same name as the Python one.

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences