diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-07-22 11:46:11 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-07-25 12:40:30 +0200 |
| commit | faa864b5b180c3897b6d0ae843a87bf9ac134aef (patch) | |
| tree | a02d8a8a6e90319328ad691cc6c055b2147d68b7 /community | |
| parent | 6427e2bec264b9ae915590a3723f816be37dcfc0 (diff) | |
Have [[microkernel/mach/mig/dealloc]] redirect to its documentation.
Diffstat (limited to 'community')
0 files changed, 0 insertions, 0 deletions