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 12b9b8cdaf40..5180902bbfc5 100644 --- a/gnu/lib/libgmp/Makefile +++ b/gnu/lib/libgmp/Makefile @@ -1,5 +1,5 @@ # -# $FreeBSD$ +# $FreeBSD: src/gnu/lib/libgmp/Makefile,v 1.21.2.1 1999/08/29 14:28:49 peter Exp $ # LIB= gmp diff --git a/gnu/lib/libgmp/Makefile.inc b/gnu/lib/libgmp/Makefile.inc index f433aca6d22a..b7b96043fd99 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.3.2.1 1999/08/29 14:28:50 peter Exp $ # SHLIB_MAJOR= 3 diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile index afe15d1068ce..6e41cfc9caf1 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.7.2.1 1999/08/29 14:28:51 peter Exp $ # INFO = gmp INFOSECTION= "Programming & development tools." |
