diff options
Diffstat (limited to 'gnu/lib/libgmp/cre-mparam.c')
| -rw-r--r-- | gnu/lib/libgmp/cre-mparam.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/lib/libgmp/cre-mparam.c b/gnu/lib/libgmp/cre-mparam.c index ebb19d30e632..cda2010056c2 100644 --- a/gnu/lib/libgmp/cre-mparam.c +++ b/gnu/lib/libgmp/cre-mparam.c @@ -1,6 +1,6 @@ /* cre-mparam.c -- Create machine-depedent parameter file. - $Id$ + $Id: cre-mparam.c,v 1.2 1995/11/12 14:55:48 markm Exp $ Copyright (C) 1991 Free Software Foundation, Inc. |