diff options
Diffstat (limited to 'include/Makefile')
| -rw-r--r-- | include/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/Makefile b/include/Makefile index 3ff370093ac2..227127e34681 100644 --- a/include/Makefile +++ b/include/Makefile @@ -1,5 +1,5 @@ # From: @(#)Makefile 8.2 (Berkeley) 1/4/94 -# $Id: Makefile,v 1.25.4.1 1995/07/13 10:58:49 rgrimes Exp $ +# $Id: Makefile,v 1.25.4.2 1995/08/31 21:30:59 davidg Exp $ # # Doing a make install builds /usr/include # |
