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 7c97c8224a0a4..f900cf50f494f 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$ +# $Id: Makefile,v 1.4 1997/02/22 13:03:11 peter Exp $ VOLUME= papers DOC= kernmalloc |