diff options
Diffstat (limited to 'gnu/lib/libgmp')
| -rw-r--r-- | gnu/lib/libgmp/Makefile | 2 | ||||
| -rw-r--r-- | gnu/lib/libgmp/Makefile.inc | 2 | ||||
| -rw-r--r-- | gnu/lib/libgmp/doc/Makefile | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/gnu/lib/libgmp/Makefile b/gnu/lib/libgmp/Makefile index 130129c4ca51..26db65fbb638 100644 --- a/gnu/lib/libgmp/Makefile +++ b/gnu/lib/libgmp/Makefile @@ -1,5 +1,5 @@ # -# $FreeBSD$ +# $FreeBSD: src/gnu/lib/libgmp/Makefile,v 1.22.2.1 2001/09/24 09:54:03 ru Exp $ # LIB= gmp diff --git a/gnu/lib/libgmp/Makefile.inc b/gnu/lib/libgmp/Makefile.inc index f433aca6d22a..1d926b485daa 100644 --- a/gnu/lib/libgmp/Makefile.inc +++ b/gnu/lib/libgmp/Makefile.inc @@ -1,5 +1,5 @@ # -# $FreeBSD$ +# $FreeBSD: src/gnu/lib/libgmp/Makefile.inc,v 1.4 1999/08/27 23:32:50 peter Exp $ # SHLIB_MAJOR= 3 diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile index afe15d1068ce..89168098790c 100644 --- a/gnu/lib/libgmp/doc/Makefile +++ b/gnu/lib/libgmp/doc/Makefile @@ -1,5 +1,5 @@ # -# $FreeBSD$ +# $FreeBSD: src/gnu/lib/libgmp/doc/Makefile,v 1.8 1999/08/27 23:32:51 peter Exp $ # INFO = gmp INFOSECTION= "Programming & development tools." |
