diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-29 14:54:56 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-29 14:54:56 +0200 |
| commit | fd3519b34ed664a00bb13b845b09f4bc6ff32100 (patch) | |
| tree | 60efe4940ec75debb1de56eb7b77fd405fd2127f /microkernel | |
| parent | 5ebc3b69f78950d8337120436e69c0252d7dbc6f (diff) | |
Remove junk page.
This reverts commit 12e785c703d099d6ece0eb4a2547920600fd3b6b.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions