diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-05-20 15:38:22 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-05-20 15:38:22 +0200 |
| commit | 7fc99828372142eed8c800543c1024a83dc51cc4 (patch) | |
| tree | 3a4d18bd8e437b4628c44df68b60ba4f799df9dc /microkernel | |
| parent | 64d2cc2b7dc516b7276d4dc7fe419ae4ebf8fd4c (diff) | |
Formatting.
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/documentation.mdwn | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/microkernel/mach/documentation.mdwn b/microkernel/mach/documentation.mdwn index 4dc4837b..9d06fb7a 100644 --- a/microkernel/mach/documentation.mdwn +++ b/microkernel/mach/documentation.mdwn @@ -8,5 +8,7 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU_Free_Documentation_License|/fdl]]."]]"""]] -- OSF's [Kernel Interface](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps) -- OSF's [Kernel Principles](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps) + - OSF's [Kernel + Interface](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_interface.ps) + - OSF's [Kernel + Principles](ftp://ftp.cs.cmu.edu/afs/cs/project/mach/public/doc/osf/kernel_principles.ps) |