diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2011-10-04 15:42:03 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2011-10-04 15:42:03 +0200 |
| commit | 67f614c029ba729a9451e87c4885c198fc10251b (patch) | |
| tree | 16d9fc43dd27330d3a5fb57442c00f2b5ffe3be3 /microkernel/mach/mig/gnu_mig | |
| parent | 6facd212fb1c8e7d4b6a19e8c770cd15be075335 (diff) | |
Remove empty page.
This reverts commit 6facd212fb1c8e7d4b6a19e8c770cd15be075335.
Diffstat (limited to 'microkernel/mach/mig/gnu_mig')
0 files changed, 0 insertions, 0 deletions