Ingo Karkat ddd3e9711b depri: Check for unprioritized task and print message. ...

The existing check didn't do much good, and one could deprioritize any normal task without notice. Instead, check that the task to be deprioritized actually has a priority and alert via "TODO: 42 is not prioritized." if that is not the case.

2011-05-10 11:52:38 +02:00

33 KiB

Executable File

Raw Blame History

View Raw