diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-01-23 16:20:35 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-01-23 16:20:35 +0000 |
| commit | 913771528a5fb32e59aec30ffa8e4b99581adb35 (patch) | |
| tree | 985770d8d1425d30d80599b290b32fe4c9779589 | |
| parent | 2a0302d4d95ae01019269548bed88d02a50a0828 (diff) | |
Remove bits that were c&p'ed too much.
| -rw-r--r-- | gnumach.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gnumach.html b/gnumach.html index d92d1848..d9dd0226 100644 --- a/gnumach.html +++ b/gnumach.html @@ -59,9 +59,8 @@ base of the GNU system on top of the microkernel architecture provided by Mach. <P> Currently, GNU Mach runs on IA32 machines. GNU Mach should, and -probably will, be ported to other hardware architectures or other -microkernels in the future. Mach was ported to many operating systems -in the past. +probably will, be ported to other hardware architectures in the +future. Mach was ported to many operating systems in the past. <P> GNU Mach is maintained by the Hurd developers for the GNU project. If you need help with GNU Mach or want to contribute to the development |