summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-12 15:45:17 +0100
committerThomas Schwinge <tschwinge@gnu.org>2008-11-12 15:45:17 +0100
commit8f929bde2919c770b1f26397567526626e0683f2 (patch)
tree62503ab24989fd0e24fbeea98225b0ff0ff6869a /microkernel
parentab0e7756c5f9e2e9a96d6ccc858d0f72453a462d (diff)
Remove obsoltete TODO item, improve desciption.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions