From 712db7c5fd485ca28a645efb1d8ef80b0714538d Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Wed, 26 Sep 2001 19:16:51 +0000 Subject: Replace
with
and remove one dangling . weblint clean (only warnings about missing image size). --- hurd-talk.html | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'hurd-talk.html') diff --git a/hurd-talk.html b/hurd-talk.html index feca0835..b8fbc5d3 100644 --- a/hurd-talk.html +++ b/hurd-talk.html @@ -18,7 +18,7 @@ -The GNU Hurd
+The GNU Hurd
 
Documentation
Installation
@@ -602,7 +602,6 @@ Effective ids are used to check if the user has the permission. Available ids can be turned into effective ids on user request.

-

The Hurd auth server is used to establish the identity of a user for a server. Such an identity (which is just a port to the auth server) consists of a set of effective user ids, a set of effective group ids, @@ -810,7 +809,6 @@ Wanted: A similar abstraction for streams (based on channels), which can be used network and character device servers.

-

libstore provides a store abstraction, which is used by all store based filesystems. The store is determined by a type and a name, but some store types modify another store rather than providing a new -- cgit v1.2.3