diff options
| author | Jordan K. Hubbard <jkh@FreeBSD.org> | 1997-01-14 07:20:47 +0000 |
|---|---|---|
| committer | Jordan K. Hubbard <jkh@FreeBSD.org> | 1997-01-14 07:20:47 +0000 |
| commit | 1130b656e5fe4c2d1ba299e024d1b40eaeebd380 (patch) | |
| tree | 1ee435de0c816086549d85bbabfe30ead7f413ec /gnu/lib/libgmp/doc/Makefile | |
| parent | aac45e814cf997f0df77795a3c06385075ef005a (diff) | |
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.
Notes
svn path=/head/; revision=21673
Diffstat (limited to 'gnu/lib/libgmp/doc/Makefile')
| -rw-r--r-- | gnu/lib/libgmp/doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile index 7775117d60f3..b78785523773 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." |