diff options
| author | Marcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de> | 2002-03-10 18:37:47 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de> | 2002-03-10 18:37:47 +0000 |
| commit | 12209639bf996c1c65b52916aceaa3da31489c49 (patch) | |
| tree | 1167910f6c84d86c788cbe44f8d7162a327fd3bd /microkernel | |
| parent | 2eb2da8a0321db963ea10ba5c2de6020b4c8da7a (diff) | |
Fix link as reported by Laurent Giroud <laurent.giroud@libertysurf.fr>.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions