diff options
Diffstat (limited to 'hurd-paper.html')
| -rw-r--r-- | hurd-paper.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd-paper.html b/hurd-paper.html index fbd34014..19ccef2f 100644 --- a/hurd-paper.html +++ b/hurd-paper.html @@ -120,7 +120,7 @@ But the wall between user and system remains; no user can cross it without special privilege. <P> -The GNU Hurd, by contrast, is designed to make the area of +The GNU Hurd, by contrast, is designed to make the area of <STRONG>system</STRONG> code as limited as possible. |