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 f7ffbcde15111..bc5a1e6bfd464 100644 --- a/gnu/lib/libmp/Makefile +++ b/gnu/lib/libmp/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.7 1996/10/24 18:03:53 markm Exp $ +# $Id: Makefile,v 1.7.2.1 1996/12/10 17:24:10 joerg Exp $ # LIB= mp |