diff options
author | Thomas Schwinge <thomas@schwinge.name> | 2011-02-14 17:10:23 +0100 |
---|---|---|
committer | Thomas Schwinge <thomas@schwinge.name> | 2011-02-14 17:10:23 +0100 |
commit | 2a086501eda8117bbf73445854251a8361de360d (patch) | |
tree | 8697df45a090f2a2eecb6fdc72a73ab9770b51da /microkernel/mach/gnumach/building.mdwn | |
parent | 4d93ba7548629fff82aa03351132c85d478a8734 (diff) |
microkernel/mach/gnumach/building/example: Remove obsolete page.
Diffstat (limited to 'microkernel/mach/gnumach/building.mdwn')
-rw-r--r-- | microkernel/mach/gnumach/building.mdwn | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index 9c075600..99e566bb 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -1,6 +1,3 @@ -Additional to the following text, a further [[example]] has be posted. - - # Building [[GNU_Mach|gnumach]] from Source If you want to build the [[GNU_Mach|gnumach]] kernel yourself instead of just using a |