- Timestamp:
- 12/12/14 11:53:07 (9 years ago)
- Branches:
- 4.11, 5, master
- Children:
- e4e66d4
- Parents:
- 3507f3f9
- git-author:
- Sebastian Huber <sebastian.huber@…> (12/12/14 11:53:07)
- git-committer:
- Sebastian Huber <sebastian.huber@…> (12/12/14 14:39:16)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/user/task.t
r3507f3f9 r22cce675 1291 1291 enabled and it lowers its own priority or raises another task's 1292 1292 priority. 1293 1294 In case the new priority equals the current priority of the task, then nothing 1295 happens. 1293 1296 1294 1297 Setting the priority of a global task which does not reside on
Note: See TracChangeset
for help on using the changeset viewer.