diff options
Diffstat (limited to 'share/doc/papers/kerntune/Makefile')
| -rw-r--r-- | share/doc/papers/kerntune/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/doc/papers/kerntune/Makefile b/share/doc/papers/kerntune/Makefile index 6cd65ec98a78d..b86c87769951c 100644 --- a/share/doc/papers/kerntune/Makefile +++ b/share/doc/papers/kerntune/Makefile @@ -1,5 +1,5 @@ # From: @(#)Makefile 1.5 (Berkeley) 6/8/93 -# $Id: Makefile,v 1.5 1997/02/22 13:03:19 peter Exp $ +# $Id: Makefile,v 1.3.2.1 1997/03/15 23:34:28 jkh Exp $ VOLUME= papers DOC= kerntune |