diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-07 11:47:09 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-12-10 13:35:17 +0100 |
| commit | 09ff61acc11cd495af5f4cba1f9a1f850c6745c9 (patch) | |
| tree | 945c835e8c172164cc0e7b6d9a6eec19675257d0 /.gitignore | |
| parent | dd0317e49cf33671da3d6b1b17b12f7fa097756e (diff) | |
Makeconf: handle the task_notify protocol
* Makeconf (mach_defs_names): Add `task_notify'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions