diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile index e04fc63469ae1..3680d801b860c 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.57.4.7 1995/11/09 10:57:04 jkh Exp $ +# $Id: Makefile,v 1.57.4.8 1995/11/10 03:06:55 jkh Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib |