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 /storeio/pager.c | |
parent | dd0317e49cf33671da3d6b1b17b12f7fa097756e (diff) |
Makeconf: handle the task_notify protocol
* Makeconf (mach_defs_names): Add `task_notify'.
Diffstat (limited to 'storeio/pager.c')
0 files changed, 0 insertions, 0 deletions