From 65b9eae0ee48f8d11ffabc3dad31ac2edcea35a9 Mon Sep 17 00:00:00 2001 From: wosch Date: Sat, 5 Oct 1996 18:37:31 +0000 Subject: delete doubled words, e.g.: "the the" -> "the" --- share/doc/papers/kernmalloc/kernmalloc.t | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'share/doc/papers/kernmalloc') diff --git a/share/doc/papers/kernmalloc/kernmalloc.t b/share/doc/papers/kernmalloc/kernmalloc.t index 62df1b4..0b8bb08 100644 --- a/share/doc/papers/kernmalloc/kernmalloc.t +++ b/share/doc/papers/kernmalloc/kernmalloc.t @@ -30,6 +30,7 @@ .\" SUCH DAMAGE. .\" .\" @(#)kernmalloc.t 5.1 (Berkeley) 4/16/91 +.\" $Id$ .\" .\" reference a system routine name .de RN @@ -600,7 +601,7 @@ Two of the traditional UNIX memory allocators remain in the current system. The terminal subsystem uses \fIclist\fP\^s (character lists). That part of the system is expected to undergo major revision within -the the next year or so, and it will probably be changed to use +the next year or so, and it will probably be changed to use \fImbuf\fP\^s as it is merged into the network system. The other major allocator that remains is .RN getblk , -- cgit v1.1