diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-01 15:05:58 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-02-05 11:57:56 +0100 |
commit | 61104ec0056504e675d7096e23c9de3f7fdda2ff (patch) | |
tree | 60d0149e482599a4c5259bc329c46a9bbe6047a1 /tests/.gitignore | |
parent | 877a319c94619e51a0103b9f201523b269588eb0 (diff) |
doc: document task_set_name
* doc/mach.texi (Task Information): Document the new task_set_name
procedure.
Diffstat (limited to 'tests/.gitignore')
0 files changed, 0 insertions, 0 deletions