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 f0c1eece40cef..558f804947baf 100644 --- a/gnu/lib/libmp/Makefile +++ b/gnu/lib/libmp/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.15 1998/05/15 06:42:37 jb Exp $ +# $Id: Makefile,v 1.16 1998/08/30 01:57:55 jb Exp $ # LIB= mp |