diff options
Diffstat (limited to 'share/doc/papers/kernmalloc/Makefile')
-rw-r--r-- | share/doc/papers/kernmalloc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/doc/papers/kernmalloc/Makefile b/share/doc/papers/kernmalloc/Makefile index f900cf50f494..5d4cbb287301 100644 --- a/share/doc/papers/kernmalloc/Makefile +++ b/share/doc/papers/kernmalloc/Makefile @@ -1,5 +1,5 @@ # From: @(#)Makefile 1.8 (Berkeley) 6/8/93 -# $Id: Makefile,v 1.4 1997/02/22 13:03:11 peter Exp $ +# $Id: Makefile,v 1.2.6.1 1997/03/15 23:34:20 jkh Exp $ VOLUME= papers DOC= kernmalloc |