diff options
Diffstat (limited to 'mille/varpush.c')
| -rw-r--r-- | mille/varpush.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mille/varpush.c b/mille/varpush.c index 7603b800..86a5f1cf 100644 --- a/mille/varpush.c +++ b/mille/varpush.c @@ -32,7 +32,8 @@ */ #ifndef lint -static char sccsid[] = "@(#)varpush.c 5.6 (Berkeley) 6/1/90"; +/*static char sccsid[] = "from: @(#)varpush.c 5.6 (Berkeley) 6/1/90";*/ +static char rcsid[] = "$Id: varpush.c,v 1.2 1993/08/01 18:53:52 mycroft Exp $"; #endif /* not lint */ # include <paths.h> |