diff options
author | pixel <pixel> | 2006-10-28 16:42:19 +0000 |
---|---|---|
committer | pixel <pixel> | 2006-10-28 16:42:19 +0000 |
commit | 8fdf9104af7c10a778e4ed6bd0c501c7d2087cdd (patch) | |
tree | d309b4932810ab6e320a287dcd1a24e5e27a15ad /lib/Menu.cc | |
parent | f7f07a91a9a033698b338b21e4a3974da4b518d9 (diff) |
Task manager now has timeout support.
Diffstat (limited to 'lib/Menu.cc')
0 files changed, 0 insertions, 0 deletions