diff options
| author | peter <peter@FreeBSD.org> | 1997-02-22 15:48:31 +0000 |
|---|---|---|
| committer | peter <peter@FreeBSD.org> | 1997-02-22 15:48:31 +0000 |
| commit | 245ba20d12ed60e7b9d9a49bb54409be53d8ec0f (patch) | |
| tree | 25f4ec424ec1c7a9e0bfde8b69e88a765dec1ddd /gnu/lib/libgmp | |
| parent | 6bdaa5c8024401e41377a4d5fe84d9dfc88ca081 (diff) | |
| download | FreeBSD-src-245ba20d12ed60e7b9d9a49bb54409be53d8ec0f.zip FreeBSD-src-245ba20d12ed60e7b9d9a49bb54409be53d8ec0f.tar.gz | |
Revert $FreeBSD$ to $Id$
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 5fcf909..cbed059 100644 --- a/gnu/lib/libgmp/Makefile +++ b/gnu/lib/libgmp/Makefile @@ -1,5 +1,5 @@ # -# $FreeBSD$ +# $Id$ # LIB= gmp diff --git a/gnu/lib/libgmp/Makefile.inc b/gnu/lib/libgmp/Makefile.inc index f433aca..b60fe3c 100644 --- a/gnu/lib/libgmp/Makefile.inc +++ b/gnu/lib/libgmp/Makefile.inc @@ -1,5 +1,5 @@ # -# $FreeBSD$ +# $Id$ # SHLIB_MAJOR= 3 diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile index afe15d1..dde32e5 100644 --- a/gnu/lib/libgmp/doc/Makefile +++ b/gnu/lib/libgmp/doc/Makefile @@ -1,5 +1,5 @@ # -# $FreeBSD$ +# $Id$ # INFO = gmp INFOSECTION= "Programming & development tools." |
