diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-09-26 19:16:51 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-09-26 19:16:51 +0000 |
| commit | 712db7c5fd485ca28a645efb1d8ef80b0714538d (patch) | |
| tree | 6ecd04fb0de3dbb11624adf3b82c46d930de025e /hurd-talk.html | |
| parent | fc042659aa893a73688a574242aa348085d18102 (diff) | |
Replace </BR> with <BR> and remove one dangling </UL>.
weblint clean (only warnings about missing image size).
Diffstat (limited to 'hurd-talk.html')
| -rw-r--r-- | hurd-talk.html | 4 |
1 files changed, 1 insertions, 3 deletions
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 @@ </TR> <TR> <TD ALIGN="LEFT" VALIGN="TOP" BGCOLOR="#eeeeee"> -<A HREF="/software/hurd/hurd.html"><STRONG>The GNU Hurd</STRONG></A></BR> +<A HREF="/software/hurd/hurd.html"><STRONG>The GNU Hurd</STRONG></A><BR> <BR> <A HREF="/software/hurd/docs.html">Documentation</A><BR> <A HREF="/software/hurd/install.html">Installation</A><BR> @@ -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. </PRE></TD></TR></TABLE> <P> -<P> 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. </PRE></TD></TR></TABLE> <P> -<P> 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 |