diff options
author | jkh <jkh@FreeBSD.org> | 1997-01-14 07:20:47 +0000 |
---|---|---|
committer | jkh <jkh@FreeBSD.org> | 1997-01-14 07:20:47 +0000 |
commit | 808a36ef658c1810327b5d329469bcf5dad24b28 (patch) | |
tree | 1ee435de0c816086549d85bbabfe30ead7f413ec /gnu/lib/libgmp | |
parent | 058c86d9e8b4a705d2d3f2c0b52d63a2534e97e3 (diff) | |
download | FreeBSD-src-808a36ef658c1810327b5d329469bcf5dad24b28.zip FreeBSD-src-808a36ef658c1810327b5d329469bcf5dad24b28.tar.gz |
Make the long-awaited change from $Id$ to $FreeBSD$
This will make a number of things easier in the future, as well as (finally!)
avoiding the Id-smashing problem which has plagued developers for so long.
Boy, I'm glad we're not using sup anymore. This update would have been
insane otherwise.
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 86ac039..5fcf909 100644 --- a/gnu/lib/libgmp/Makefile +++ b/gnu/lib/libgmp/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.7 1996/10/20 09:27:45 markm Exp $ +# $FreeBSD$ # LIB= gmp diff --git a/gnu/lib/libgmp/Makefile.inc b/gnu/lib/libgmp/Makefile.inc index b60fe3c..f433aca 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 7775117..b787855 100644 --- a/gnu/lib/libgmp/doc/Makefile +++ b/gnu/lib/libgmp/doc/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.3 1996/10/20 09:28:03 markm Exp $ +# $FreeBSD$ # INFO = gmp INFOSECTION= "Programming & development tools." |