diff options
Diffstat (limited to 'gnu/lib/libmp/Makefile')
-rw-r--r-- | gnu/lib/libmp/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/lib/libmp/Makefile b/gnu/lib/libmp/Makefile index 4f7a474422aa0..6d31c0ab0507f 100644 --- a/gnu/lib/libmp/Makefile +++ b/gnu/lib/libmp/Makefile @@ -1,5 +1,5 @@ # Makefile for libmp -# $Id: Makefile,v 1.3 1995/11/13 18:39:23 markm Exp $ +# $Id: Makefile,v 1.4 1995/11/25 00:13:57 peter Exp $ LIB= mp SRCS= $(MP_SRCS) |