diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 18:23:56 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 18:23:56 +0200 |
| commit | 3a7bbd73c8e364d290175ae5afee60f6d825ea36 (patch) | |
| tree | 62ba65085f3b4fbb8998b25f13ebcd806b3121aa /microkernel/mach/mig | |
| parent | de2e5a00f7be56e07340d37a639f0e21ddd98c93 (diff) | |
Even more page naming consistency.
Diffstat (limited to 'microkernel/mach/mig')
0 files changed, 0 insertions, 0 deletions