diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 16:35:32 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-14 16:35:32 +0200 |
| commit | 9cedf47ebaebf9224fbbb9670001567098943d79 (patch) | |
| tree | ad21162d63654cfc32babf8b4944f31febd22b0c /microkernel/mach/gnumach/xen.mdwn | |
| parent | bef9a2b0c49d190d384f21e85e4f5e7728dfaac1 (diff) | |
Rename some pages to be more consistent.
Diffstat (limited to 'microkernel/mach/gnumach/xen.mdwn')
0 files changed, 0 insertions, 0 deletions