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 7c97c8224a0a..2d3f4ea1063d 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.2 1995/01/11 04:10:03 wollman Exp $ VOLUME= papers DOC= kernmalloc |