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 37e390f392c3d..12b9b8cdaf407 100644 --- a/gnu/lib/libgmp/Makefile +++ b/gnu/lib/libgmp/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.20 1998/12/16 04:59:53 imp Exp $ +# $FreeBSD$ # LIB= gmp diff --git a/gnu/lib/libgmp/Makefile.inc b/gnu/lib/libgmp/Makefile.inc index b60fe3c7b1717..f433aca6d22a1 100644 --- a/gnu/lib/libgmp/Makefile.inc +++ b/gnu/lib/libgmp/Makefile.inc @@ -1,5 +1,5 @@ # -# $Id$ +# $FreeBSD$ # SHLIB_MAJOR= 3 diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile index dde32e5551fed..afe15d1068ce1 100644 --- a/gnu/lib/libgmp/doc/Makefile +++ b/gnu/lib/libgmp/doc/Makefile @@ -1,5 +1,5 @@ # -# $Id$ +# $FreeBSD$ # INFO = gmp INFOSECTION= "Programming & development tools." |